𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A crash course in λ-calculus

✍ Scribed by G. Huet

Publisher
Springer
Year
1998
Tongue
English
Weight
38 KB
Volume
13
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A crash course
A crash course
✍ D. Rudram 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 227 KB
An interpretation of λμ-calculus in λ-ca
An interpretation of λμ-calculus in λ-calculus
✍ Ken-etsu Fujita 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 60 KB

We show that any λ-model gives rise to a λµ-model, in the sense that if we have M = λµ N in the equational theory of type free λµ-calculus then ] holds true for some structure [[-]], D induced from a λ-model. The construction of λµ-models can be given by the use of a fixed point operator and the Gö

A Mixed λ-calculus
A Mixed λ-calculus
✍ Marie-Renée Fleury; Myriam Quatrini 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 329 KB
A classical linear λ-calculus
A classical linear λ-calculus
✍ G.M. Bierman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 215 KB

This paper proposes and studies a particular typed -calculus for classical linear logic. I shall give an explanation of a natural deduction formulation of classical logic due to Parigot and compare it to more traditional treatments by Prawitz and others. I shall use Parigot's method to devise a natu