A Design Structure for Higher Order Quotients
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 130-146
- https://doi.org/10.1007/11541868_9
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Mathematical Quotients and Quotient Types in CoqLecture Notes in Computer Science, 2003
- How complete is PER?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A Constructive Algebraic Hierarchy in CoqJournal of Symbolic Computation, 2002
- Quotient Types: A Modular ApproachLecture Notes in Computer Science, 2002
- Isabelle/HOLPublished by Springer Science and Business Media LLC ,2002
- Theorem Proving with the Real NumbersPublished by Springer Science and Business Media LLC ,1998
- Higher order quotients and their implementation in Isabelle HOLPublished by Springer Science and Business Media LLC ,1997
- A simple model for quotient typesPublished by Springer Science and Business Media LLC ,1995
- Zermelo’s Axiom of ChoicePublished by Springer Science and Business Media LLC ,1982