„computational lambda calculus“
Suchergebnisse
1.000+ Treffer
-
A Verified Cost Model for Call-By-Push-Value
-
Quantitative Types for the Functional Machine Calculus
-
The Ackermann Award 2023
-
The Functional Machine Calculus II: Semantics
-
A Mechanised Proof of the Time Invariance Thesis for the Weak Call-By-Value λ-Calculus
-
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types
-
A Reflection on Continuation-Composing Style
-
Combining Linear Logic and Size Types for Implicit Complexity
-
Polynomial Time in the Parametric Lambda Calculus
-
Curry-Howard for Sequent Calculus at Last!
-
Intersection Types for Normalization and Verification (Invited Talk)
-
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
-
On the Invariance of the Unitary Cost Model for Head Reduction
-
Regularity of Dirac-harmonic maps with $$\lambda $$ λ -curvature term in higher dimensions
-
Strictness analysis in the Imperative Lambda Calculus
-
Lambda-calculus schemata
-
The converse principal type-scheme theorem in lambda calculus
-
Linear-Time Self-Interpretation of the Pure Lambda Calculus
-
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus
-
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions