Fix-Point Equations for Well-Founded Recursion in Type Theory

This publication has 8 references indexed in Scilit:

• A Package For Inductive Relation Definitions In HOL
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Inductive definitions in the system Coq rules and properties
  Published by Springer Nature ,2005
• Certified version of Buchberger's algorithm
  Published by Springer Nature ,1998
• Isabelle
  Published by Springer Nature ,1994
• Inductively defined types in the Calculus of Constructions
  Published by Springer Nature ,1990
• Terminating general recursion
  BIT Numerical Mathematics, 1988
• Recursive definitions in type theory
  Published by Springer Nature ,1985
• An Introduction to Inductive Definitions
  Published by Elsevier ,1977