Quotient Types: A Modular Approach
- 25 July 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 263-280
- https://doi.org/10.1007/3-540-45685-6_18
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Markov’s Principle for Propositional Type TheoryLecture Notes in Computer Science, 2001
- Normalized TypesLecture Notes in Computer Science, 2001
- A judgmental reconstruction of modal logicMathematical Structures in Computer Science, 2001
- Building reliable, high-performance communication systems from componentsPublished by Association for Computing Machinery (ACM) ,1999
- Types in Logic, Mathematics and ProgrammingPublished by Elsevier BV ,1998
- Semantic foundations for embedding HOL in NuprlLecture Notes in Computer Science, 1996
- A simple model for quotient typesPublished by Springer Science and Business Media LLC ,1995
- Do-it-yourself type theoryFormal Aspects of Computing, 1989
- Mathematics as programmingLecture Notes in Computer Science, 1984
- A Basis for a Mathematical Theory of Computation)Published by Elsevier BV ,1963