✦ LIBER ✦

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

✍ Scribed by Ruzhan Lu; Zheng Zhang; Yongqiang Sun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Confluence of the lambda calculus with l

✍ Fritz Müller 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 611 KB

Models of the lambda calculus

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

Constructive proofs of the range propert

✍ Henk Barendregt 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 598 KB

A Finite Equational Axiomatization of th

✍ Antonino Salibra; Robert Goldblatt 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 371 KB

Algebraic construction of the three-syst

✍ Wen-Xiang Zhang; Zhi-Cai Xu 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 150 KB

A Syntactic Characterization of the Equa

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