Type theories, toposes and constructive set theory: predicative aspects of AST

This publication has 5 references indexed in Scilit:

• Predictive type universes and primitive recursion
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Wellfounded trees in categories
  Annals of Pure and Applied Logic, 2000
• Intuitionistic choice and classical logic
  Archive for Mathematical Logic, 2000
• Definability of finite sum types in Martin-Löf's type theories
  Indagationes Mathematicae, 1983
• Constructive set theory
  The Journal of Symbolic Logic, 1975