✦ LIBER ✦

Applications of infinitary lambda calculus

✍ Scribed by Henk Barendregt; Jan Willem Klop

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Highlights in infinitary rewriting and l

✍ Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Infinitary lambda calculus and discrimin

✍ Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 332 KB

A Calculus of Lambda Calculus Contexts

✍ Mirna Bognar; Roel de Vrijer 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 207 KB

Models of the lambda calculus

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

[Lecture Notes in Computer Science] Type

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

An interpreter for slips—An applicative

✍ Vijay Gehlot; Y.N. Srikant 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 622 KB