-
81Published 2002Table of Contents: “… Graphics -- An Accumulative Parallel Skeleton for All -- Higher-Order Intensional Type Analysis -- Lambda…”
Full Text via HEAL-Link
Electronic eBook -
82Published 2004Table of Contents: “… of Lazy Rational Arithmetic -- Mobility Types in Coq -- Some Algebraic Structures in Lambda-Calculus…”
Full Text via HEAL-Link
Electronic eBook -
83Published 2005Table of Contents: “… Using Rewriting -- A Concurrent Lambda Calculus with Futures -- Compositional System Design…”
Full Text via HEAL-Link
Electronic eBook -
84Published 2007Table of Contents: “… for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves -- The Safe Lambda Calculus…”
Full Text via HEAL-Link
Electronic eBook -
85
-
86Published 2008Table of Contents: “… for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A…”
Full Text via HEAL-Link
Electronic eBook -
87Published 2016Table of Contents: “… Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel…”
Full Text via HEAL-Link
Electronic eBook -
88Published 1997Table of Contents: “… for the Lambda Calculus of Objects -- Coinductive axiomatization of recursive type equality and subtyping -- A…”
Full Text via HEAL-Link
Electronic eBook -
89Published 2009Table of Contents: “… Reduction in Resource Lambda-Calculus -- Classical Natural Deduction for S4 Modal Logic -- Software Security…”
Full Text via HEAL-Link
Electronic eBook -
90Published 2007Table of Contents: “…Justified and Common Knowledge: Limited Conservativity -- The Intensional Lambda Calculus…”
Full Text via HEAL-Link
Electronic eBook -
91Published 2008Table of Contents: “…-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract…”
Full Text via HEAL-Link
Electronic eBook -
92Published 1998Table of Contents: “… for quantitative semantics -- A mixed modal/linear lambda calculus with applications to bellantoni-cook safe…”
Full Text via HEAL-Link
Electronic eBook -
93Published 2017Table of Contents: “… and container monads -- The Negligible and Yet Subtle Cost of Pattern Matching -- A lambda calculus for density…”
Full Text via HEAL-Link
Electronic eBook -
94Published 2009Table of Contents: “…-Elimination Theorem for Differential Nets with Promotion -- A Polymorphic Type System for the Lambda-Calculus…”
Full Text via HEAL-Link
Electronic eBook -
95Published 2014Table of Contents: “… Complexity Classes in Elementary Lambda-Calculus -- A Hoare-Like Calculus Using the SROIQσ Logic…”
Full Text via HEAL-Link
Electronic eBook -
96Published 2005Table of Contents: “… and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures…”
Full Text via HEAL-Link
Electronic eBook -
97Published 2016Table of Contents: “… Two-Stage Lambda Calculus -- Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate…”
Full Text via HEAL-Link
Electronic eBook -
98Published 2001Table of Contents: “… for the Computational Lambda-Calculus -- Induction Is Not Derivable in Second Order Dependent Type Theory -- Strong…”
Full Text via HEAL-Link
Electronic eBook -
99Published 2009Table of Contents: “… Lambda-Calculus -- Logic-Based Probabilistic Modeling -- Contributed Papers -- Completions of Basic…”
Full Text via HEAL-Link
Electronic eBook -
100Published 2010Table of Contents: “… Algorithmic Completeness of Lambda Calculus -- Fixed-Point Definability and Polynomial Time on Chordal Graphs…”
Full Text via HEAL-Link
Electronic eBook