„typed lambda calculus“
Suchergebnisse
1.000+ Treffer
-
Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
-
A Note on Logical PERs and Reducibility. Logical Relations Strike Again!
-
Two Decreasing Measures for Simply Typed λ-Terms
-
Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus
-
Differential Logical Relations, Part I: The Simply-Typed Case (Track B: Automata, Logic, Semantics, and Theory of Programming)
-
Proof Normalisation in a Logic Identifying Isomorphic Propositions
-
A Generic Framework for Higher-Order Generalizations
-
Normalization by Evaluation for Typed Weak lambda-Reduction
-
Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered
-
Higher-Order Equational Pattern Anti-Unification
-
On Dinaturality, Typability and beta-eta-Stable Models
-
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type
-
Models of Lambda-Calculus and the Weak MSO Logic
-
A Model for Behavioural Properties of Higher-order Programs
-
Evaluation is MSOL-compatible
-
Intersection Types for Normalization and Verification (Invited Talk)
-
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus
-
Relating Two Semantics of Locally Scoped Names
-
Realizing the Dependently Typed Lambda Calculus
-
Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics