„lambda-calculus“
Suchergebnisse
286 Treffer
-
Counting Environments and Closures
-
Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)
-
Lower End of the Linial-Post Spectrum
-
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)
-
On Dinaturality, Typability and beta-eta-Stable Models
-
Types as Resources for Classical Natural Deduction
-
Is the Optimal Implementation Inefficient? Elementarily Not
-
The Complexity of Principal Inhabitation
-
Optimality and the Linear Substitution Calculus
-
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
-
Taylor Expansion, lambda-Reduction and Normalization
-
Strongly Normalizing Audited Computation
-
Models and Termination of Proof Reduction in the lambda Pi-Calculus Modulo Theory
-
Efficient Type Checking for Path Polymorphism
-
Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis
-
Models of Lambda-Calculus and the Weak MSO Logic
-
On Undefined and Meaningless in Lambda Definability
-
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule.
-
On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation
-
On Classical PCF, Linear Logic and the MIX Rule