Congruence Types

This publication has 11 references indexed in Scilit:

• Inductive definitions in the system Coq rules and properties
  Published by Springer Nature ,2005
• Combining algebra and higher-order types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modular properties of algebraic type systems
  Published by Springer Nature ,1996
• Towards lean proof checking
  Published by Springer Nature ,1996
• A two-level approach towards lean proof-checking
  Published by Springer Nature ,1996
• A short and flexible proof of strong normalization for the calculus of constructions
  Lecture Notes in Computer Science, 1995
• A simple model for quotient types
  Published by Springer Nature ,1995
• Extensions of pure type systems
  Published by Springer Nature ,1995
• Rewrite Systems
  Published by Elsevier ,1990