✦ LIBER ✦

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 3085 || Inductive Families Need Not Store Their Indices

✍ Scribed by Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

✍ Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 205 KB

[Lecture Notes in Computer Science] Type

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 231 KB

[Lecture Notes in Computer Science] Type

✍ Geuvers, Herman; Wiedijk, Freek 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 217 KB

[Lecture Notes in Computer Science] Type

✍ Berardi, Stefano; Coppo, Mario 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 767 KB