Quotient Completion for the Foundation of Constructive Mathematics

This publication has 21 references indexed in Scilit:

• A minimalist two-level foundation for constructive mathematics
  Annals of Pure and Applied Logic, 2009
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
  Mathematical Structures in Computer Science, 2005
• Regular and exact completions
  Journal of Pure and Applied Algebra, 1998
• Maps II: Chasing Diagrams in Categorical Proof Theory
  Logic Journal of the IGPL, 1996
• Some free constructions in realizability and proof theory
  Journal of Pure and Applied Algebra, 1995
• The free exact category on a left exact one
  Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics, 1982
• Categories Fibrees et Descente
  Published by Springer Nature ,1971
• Adjointness in Foundations
  Dialectica, 1969
• Diagonal arguments and cartesian closed categories
  Published by Springer Nature ,1969
• Foundations of Constructive Analysis.
  The American Mathematical Monthly, 1968