✦ LIBER ✦

Static typing for a substructural lambda calculus

✍ Scribed by Hua, Baojian

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A typed, algebraic, computational lambda

✍ VALIRON, BENOÎT 📂 Article 📅 2013 🏛 Cambridge University Press 🌐 English ⚖ 683 KB

J-Calc: A Typed Lambda Calculus for Intu

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

A Lambda Calculus for Quantum Computatio

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

Light types for polynomial time computat

✍ Patrick Baillot; Kazushige Terui 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 495 KB

A binary modal logic for the intersectio

✍ Silvio Valentini; Matteo Viale 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 196 KB

Scheme: A Interpreter for Extended Lambd

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