The metatheory of UTT

This publication has 12 references indexed in Scilit:

• Pure type systems formalized
  Published by Springer Nature ,2005
• A unifying theory of dependent types: the schematic approach
  Published by Springer Nature ,2005
• Typed operational semantics
  Published by Springer Nature ,1995
• Program specification and data refinement in type theory
  Mathematical Structures in Computer Science, 1993
• Deliverables: a categorical approach to program development in type theory
  Published by Springer Nature ,1993
• An algorithm for testing conversion in type theory
  Published by Cambridge University Press (CUP) ,1991
• Semantics of Type Theory
  Published by Springer Nature ,1991
• Inductively defined types
  Lecture Notes in Computer Science, 1990
• Church-Rosser theorem for typed functional systems
  The Journal of Symbolic Logic, 1985
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967