✦ LIBER ✦

Infinitary lambda calculus and discrimination of Berarducci trees

✍ Scribed by Mariangiola Dezani-Ciancaglini; Paula Severi; Fer-Jan de Vries

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Applications of infinitary lambda calcul

✍ Henk Barendregt; Jan Willem Klop 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Highlights in infinitary rewriting and l

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

Level Number Sequences of Trees and the

✍ Tangora, Martin C. 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 702 KB

Wiley Encyclopedia of Computer Science a

✍ Wah, Benjamin W. 📂 Article 📅 2008 🏛 John Wiley & Sons, Inc. ⚖ 141 KB

A lambda-calculus model of programming l

✍ S.Kamal Abdali 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 930 KB

[Lecture Notes in Computer Science] Type

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