✦ LIBER ✦

Continuation Models for the Lambda Calculus With Constructors

✍ Scribed by Petit, Barbara

Book ID: 123091954
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 285 KB
Volume: 286
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2012.10.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models of the lambda calculus

✍ C.P.J. Koymans 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 857 KB

Completeness of Continuation Models for

Completeness of Continuation Models for λμ-Calculus

✍ Martin Hofmann; Thomas Streicher 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 183 KB

A Filter Model for Concurrent $\lambda$-

A Filter Model for Concurrent $\lambda$-Calculus

✍ Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Piperno, Adolfo 📂 Article 📅 1998 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 578 KB

Continuous normalization for the lambda-

Continuous normalization for the lambda-calculus and Gödel’s

✍ Klaus Aehlig; Felix Joachimski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 358 KB

A Syntactic Characterization of the Equa

A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus

✍ Hyland, M. 📂 Article 📅 1976 🏛 Oxford University Press 🌐 English ⚖ 225 KB

Construction of the model of the lambda

Construction of the model of the lambda calculus system with algebraic operators

✍ Ruzhan Lu; Zheng Zhang; Yongqiang Sun 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 253 KB