✦ LIBER ✦

Logical relations and the typed λ-calculus

✍ Scribed by R. Statman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing models of the intensional type

✍ R Hoofman 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 789 KB

The typed λ-calculus is not elementary r

✍ Richard Statman 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 982 KB

A semantic characterization of the well-

✍ Thomas Forster 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 901 KB

An upper bound for reduction sequences i

✍ Helmut Schwichtenberg 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 205 KB

Non Deterministic Classical Logic: The λ

✍ Karim Nour 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 159 KB

Semantics of the typed λ-calculus with s

✍ John W. Gray 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 994 KB