Modular properties of algebraic type systems

This publication has 11 references indexed in Scilit:

• Combining first and higher order rewrite systems with type assignment systems
  Published by Springer Nature ,2006
• 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
• A short and flexible proof of strong normalization for the calculus of constructions
  Lecture Notes in Computer Science, 1995
• Modular termination of term rewriting systems revisited
  Published by Springer Nature ,1995
• Confluence of the lambda calculus with left-linear algebraic rewriting
  Information Processing Letters, 1992
• Polymorphic rewriting conserves algebraic strong normalization
  Theoretical Computer Science, 1991
• Modular proof of strong normalization for the calculus of constructions
  Journal of Functional Programming, 1991
• On the Church-Rosser property for the direct sum of term rewriting systems
  Journal of the ACM, 1987
• A realizability interpretation of the theory of species
  Lecture Notes in Mathematics, 1975