Pages that link to "Item:Q4094853"

The following pages link to A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus (Q4094853):

Displaying 36 items.

• Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
• Strong normalization from an unusual point of view (Q534700) (← links)
• Completeness of type assignment in continuous lambda models (Q792995) (← links)
• Parametric \(\lambda \)-theories (Q930867) (← links)
• A characterization of F-complete type assignments (Q1089331) (← links)
• Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
• Polymorphic type inference and containment (Q1110312) (← links)
• On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
• \(\mathbb{T}^\omega\) as a universal domain (Q1132085) (← links)
• Invertible terms in the lambda calculus (Q1145689) (← links)
• An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus (Q1198661) (← links)
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus (Q1229201) (← links)
• Full abstraction and recursion (Q1365671) (← links)
• A syntactical proof of the operational equivalence of two \(\lambda\)-terms (Q1390880) (← links)
• On the semantics of the call-by-name CPS transform (Q1575687) (← links)
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
• On infinite \(\eta\)-expansion (Q1598516) (← links)
• Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
• Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
• Easiness in graph models (Q2368937) (← links)
• Definability and full abstraction (Q2864154) (← links)
• Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
• A General Class of Models of $\mathcal{H}^*$ (Q3182956) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• Aλδ-calculus with an algorithmicδ (Q3869320) (← links)
• (Q4580329) (← links)
• (Q4625694) (← links)
• From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
• Call-by-value Solvability (Q4953339) (← links)
• Refutation of Sallé's longstanding conjecture (Q5111316) (← links)
• Lazy Lambda calculus: Theories, models and local structure characterization (Q5204341) (← links)
• Classical lambda calculus in modern dress (Q5269006) (← links)
• Intersection types for \(\lambda\)-trees (Q5958291) (← links)
• Innocent game models of untyped \(\lambda\)-calculus (Q5958298) (← links)
• On the construction of stable models of untyped \(\lambda\)-calculus (Q5958611) (← links)
• Algebraic interpretation of lambda calculus with resources (Q6162097) (← links)