Pure type systems formalized

This publication has 8 references indexed in Scilit:

• A formalization of the strong normalization proof for System F in LEGO
  Published by Springer Nature ,2006
• Deliverables: a categorical approach to program development in type theory
  Published by Springer Nature ,1993
• Lambda Calculi with Types
  Published by Oxford University Press (OUP) ,1992
• An algorithm for testing conversion in type theory
  Published by Cambridge University Press (CUP) ,1991
• Modular proof of strong normalization for the calculus of constructions
  Journal of Functional Programming, 1991
• Introduction to generalized type systems
  Journal of Functional Programming, 1991
• Program specification and data refinement in type theory
  Published by Springer Nature ,1991
• The Constructive Engine
  Published by World Scientific Pub Co Pte Ltd ,1989