✦ LIBER ✦

Telescopic mappings in typed lambda calculus

✍ Scribed by N.G. de Bruijn

Book ID: 113383993
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 749 KB
Volume: 91
Category: Article
ISSN: 0890-5401
DOI: 10.1016/0890-5401(91)90066-b

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Functors Expressible in the Polymorph

On Functors Expressible in the Polymorphic Typed Lambda Calculus

✍ J.C. Reynolds; G.D. Plotkin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 900 KB

Inhabitation of Types in the Simply Type

Inhabitation of Types in the Simply Typed Lambda Calculus

✍ W. Dekkers 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 183 KB

Typed lambda-calculus in classical Zerme

Typed lambda-calculus in classical Zermelo-Frænkel set theory

✍ Jean-Louis Krivine 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 128 KB

Functions over free algebras definable i

Functions over free algebras definable in the simply typed lambda calculus

✍ Daniel Leivant 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 805 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 664 || Lambda calculus characterizations of poly-time

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 745 KB

Full Intersection Types and Topologies i

Full Intersection Types and Topologies in Lambda Calculus

✍ Silvia Ghilezan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Topologies are introduced on the set of lambda terms by their typeability in the full intersection type assignment system. These topologies give rise to simple proofs of some fundamental results of the lambda calculus such as the continuity theorem and the genericity lemma. We show that application