✦ LIBER ✦

A Symmetric Lambda Calculus for Classical Program Extraction

✍ Scribed by Franco Barbanera; Stefano Berardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strong normalization of a symmetric lamb

✍ Yoriyuki Yamagata 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 99 KB

An extension of lambda-calculus for func

✍ Gyorgy Revesz 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 625 KB

A Lambda Calculus for Quantum Computatio

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

A lambda-calculus model of programming l

✍ S.Kamal Abdali 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 904 KB

Scheme: A Interpreter for Extended Lambd

✍ Gerald Jay Sussman; Guy L. Steele 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 114 KB

Static typing for a substructural lambda

✍ Hua, Baojian 📂 Article 📅 2011 🏛 Higher Education Press and Springer 🌐 English ⚖ 249 KB