Introduction to Lambda Calculus

Introduction to Lambda calculus

✍ Barendregt H., Barendsen E. 📂 Library 📅 2000 🌐 English ⚖ 251 KB

Lambda Calculus 001

📂 Library 🌐 English ⚖ 416 KB

A Calculus of Lambda Calculus Contexts

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

Introduction to [lambda]-trees

✍ Ian Chiswell 📂 Library 📅 2001 🏛 World Scientific 🌐 English ⚖ 4 MB

Introductory text for mathematicians and research students in algebra and topology, introducing the fundamental concepts and theory of A-Trees, including the origins and history of the theory. Discusses connections with other theories such as model theory and R-Trees.

The differential lambda-calculus

✍ Thomas Ehrhard; Laurent Regnier 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 456 KB

Demonstrating Lambda Calculus Reduction

✍ Peter Sestoft 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 129 KB