✦ LIBER ✦

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

✍ Scribed by Hawblitzel, Chris; Miller, Dale

Book ID: 118009950
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 235 KB
Category: Article
ISBN: 3642353088
DOI: 10.1007/978-3-642-35308-6_21

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cert

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Shall We Juggle, Coinductively?

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

[Lecture Notes in Computer Science] Cert

[Lecture Notes in Computer Science] Certified Programs and Proofs Volume 7679 || Producing Certified Functional Code from Inductive Specifications

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

[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] 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] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs

✍ Schmidt, David 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29– 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To

[Lecture Notes in Computer Science] ESOP

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

✍ Ganzinger, H. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg ⚖ 879 KB