Higher order quotients and their implementation in Isabelle HOL
- 1 January 1997
- book chapter
- Published by Springer Science and Business Media LLC
- p. 291-306
- https://doi.org/10.1007/bfb0028401
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- How complete is PER?Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Type classes and overloading in higher-order logicPublished by Springer Science and Business Media LLC ,1997
- Behavioural theoriesPublished by Springer Science and Business Media LLC ,1995
- IsabellePublished by Springer Science and Business Media LLC ,1994
- IntroductionPublished by Springer Science and Business Media LLC ,1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- PER models of subtyping, recursive types and higher-order polymorphismPublished by Association for Computing Machinery (ACM) ,1992
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940