✦ LIBER ✦

A typed, algebraic, computational lambda-calculus

✍ Scribed by VALIRON, BENOÎT

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Telescopic mappings in typed lambda calc

✍ N.G. de Bruijn 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 749 KB

J-Calc: A Typed Lambda Calculus for Intu

✍ Pouliasis, Konstantinos; Primiero, Giuseppe 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 272 KB

On Functors Expressible in the Polymorph

✍ J.C. Reynolds; G.D. Plotkin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 900 KB

Inhabitation of Types in the Simply Type

✍ W. Dekkers 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 183 KB

Typed lambda-calculus in classical Zerme

✍ Jean-Louis Krivine 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 128 KB

A Lambda Calculus for Quantum Computatio

✍ van Tonder, André 📂 Article 📅 2004 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 228 KB