✦ LIBER ✦

Light types for polynomial time computation in lambda calculus

✍ Scribed by Patrick Baillot; Kazushige Terui

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Light affine lambda calculus and polynom

✍ Kazushige Terui 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 786 KB

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer-Verlag ⚖ 745 KB

[Lecture Notes in Computer Science] Type

✍ Della Rocca, Simona Ronchi 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 387 KB

[Lecture Notes in Computer Science] Type

✍ Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 919 KB

[Lecture Notes in Computer Science] Type

✍ Bezem, Marc; Groote, Jan Friso 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 694 KB

[Lecture Notes in Computer Science] Rece

✍ Haveraaen, Magne; Owe, Olaf; Dahl, Ole-Johan 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 312 KB