A unifying theory of dependent types: the schematic approach

This publication has 11 references indexed in Scilit:

• ECC, an extended calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Inductive sets and families in Martin-Löf's type theory and their set-theoretic semantics
  Published by Cambridge University Press (CUP) ,1991
• An algorithm for testing conversion in type theory
  Published by Cambridge University Press (CUP) ,1991
• Program specification and data refinement in type theory
  Published by Springer Nature ,1991
• A higher-order calculus and theory abstraction
  Information and Computation, 1991
• The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
  The Journal of Symbolic Logic, 1988
• The calculus of constructions
  Information and Computation, 1988
• An Intuitionistic Theory of Types: Predicative Part
  Published by Elsevier ,1975
• The Philosophical Basis of Intuitionistic Logic
  Published by Elsevier ,1975
• On the idea of a general proof theory
  Synthese, 1974