✦ LIBER ✦

[Lecture Notes in Computer Science] ESOP '88 Volume 300 || Programming with proofs: A second order type theory

✍ Scribed by Ganzinger, H.

Book ID: 118016955
Publisher: Springer Berlin Heidelberg
Year: 1988
Weight: 879 KB
Category: Article
ISBN: 3540389415
DOI: 10.1007/3-540-19027-9_10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || General Recursion in Type Theory

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

[Lecture Notes in Computer Science] COLO

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || A proof-search method for the first order logic

✍ Martin-Löf, Per; Mints, Grigori 📂 Article 📅 1990 🏛 Springer Berlin Heidelberg ⚖ 505 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2646 || Java as a Functional Programming Language

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

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1158 || Conservativity of equality reflection over intensional type theory

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

[Lecture Notes in Computer Science] Cert

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Coherent and Strongly Discrete Rings in Type Theory

✍ Hawblitzel, Chris; Miller, Dale 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 235 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematics of Program Construction Volume 5133 || Verifying a Semantic βη-Conversion Test for Martin-Löf Type Theory

✍ Audebaud, Philippe; Paulin-Mohring, Christine 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 392 KB

This Book Constitutes The Refereed Proceedings Of The 9th International Conference On Mathematics Of Program Construction, Mpc 2008, Held In Marseille, France In July 2008. The 18 Revised Full Papers Presented Together With 1 Invited Talk Were Carefully Reviewed And Selected From 41 Submissions. Iss