Quotients revisited for Isabelle/HOL
- 21 March 2011
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11
- p. 1639-1644
- https://doi.org/10.1145/1982185.1982529
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Psi-calculi in IsabelleLecture Notes in Computer Science, 2009
- Revisiting Cut-Elimination: One Difficult Proof Is Really a ProofLecture Notes in Computer Science, 2008
- Mechanizing the Metatheory of LF2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008
- The design and implementation of typed schemePublished by Association for Computing Machinery (ACM) ,2008
- Defining functions on equivalence classesACM Transactions on Computational Logic, 2006
- A Design Structure for Higher Order QuotientsLecture Notes in Computer Science, 2005