A minimalist two-level foundation for constructive mathematics
- 1 September 2009
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 160 (3) , 319-354
- https://doi.org/10.1016/j.apal.2009.01.006
Abstract
No abstract availableKeywords
All Related Versions
This publication has 21 references indexed in Scilit:
- Modular correspondence between dependent type theories and categories including pretopoi and topoiMathematical Structures in Computer Science, 2005
- EM+ Ext−+ ACint is equivalent to ACextMathematical Logic Quarterly, 2004
- Some points in formal topologyTheoretical Computer Science, 2003
- Type theories, toposes and constructive set theory: predicative aspects of ASTAnnals of Pure and Applied Logic, 2002
- Regular and exact completionsJournal of Pure and Applied Algebra, 1998
- Some free constructions in realizability and proof theoryJournal of Pure and Applied Algebra, 1995
- On the interpretation of type theory in locally cartesian closed categoriesPublished by Springer Nature ,1995
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITIONMathematical Logic Quarterly, 1983
- The free exact category on a left exact oneJournal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1982
- Choice Implies Excluded MiddleMathematical Logic Quarterly, 1978