Inductive definitions in the system Coq rules and properties

This publication has 6 references indexed in Scilit:

• Partial objects in the calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Comparing integrated and external logics of functional programs
  Science of Computer Programming, 1990
• Inductively defined types
  Lecture Notes in Computer Science, 1990
• Inductively defined types in the Calculus of Constructions
  Published by Springer Nature ,1990
• Extracting ω's programs from proofs in the calculus of constructions
  Published by Association for Computing Machinery (ACM) ,1989
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985