Categorical Foundations and Foundations of Category Theory

This publication has 11 references indexed in Scilit:

• Constructive set theory
  The Journal of Symbolic Logic, 1975
• Sets, Topoi, and Internal Logic in Categories
  Published by Elsevier ,1975
• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• Non-extensional type-free theories of partial operations and classifications, I
  Published by Springer Nature ,1975
• Categorical set theory: A characterization of the category of sets
  Journal of Pure and Applied Algebra, 1974
• Constructive validity
  Published by Springer Nature ,1970
• Abstract first order computability. II
  Transactions of the American Mathematical Society, 1969
• Set-Theoretical foundations of category theory
  Published by Springer Nature ,1969
• One universe as a foundation for category theory
  Published by Springer Nature ,1969
• The system CΔ of combinatory logic
  The Journal of Symbolic Logic, 1963