[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1657 || Algorithms for Equality and Unification in the Presence of Notational Definitions

Algorithms for Equality and Unification

Algorithms for Equality and Unification in the Presence of Notational Definitions

✍ Frank Pfenning; Carsten Schürmann 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 751 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 4941 || Algorithmic Equality in Heyting Arithmetic Modulo

✍ Miculan, Marino; Scagnetto, Ivan; Honsell, Furio 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 470 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of Types 2007, The Concluding Conference Of The Types Project, Held In Cividale Del Friuli, Italy, In May 2007. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 22 Submissions. The Topic Of This L

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

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics

✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 2277 || Towards Limit Computable Mathematics

✍ Callaghan, Paul; Luo, Zhaohui; McKinna, James; Pollack, Robert; Pollack, Robert 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 726 KB

This Book Constitutes The Thoroughly Refereed Post-proceedings Of The International Workshop Of The Types Working Group, Types 2000, Held In Durham, Uk In December 2000. The 15 Revised Full Papers Presented Were Carefully Reviewed And Selected During Two Rounds Of Refereeing And Revision. All Curren

[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