Inductive definitions in the system Coq rules and properties
- 28 June 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- p. 328-345
- https://doi.org/10.1007/bfb0037116
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Partial objects in the calculus of constructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Comparing integrated and external logics of functional programsScience of Computer Programming, 1990
- Inductively defined typesLecture Notes in Computer Science, 1990
- Inductively defined types in the Calculus of ConstructionsLecture Notes in Computer Science, 1990
- Extracting ω's programs from proofs in the calculus of constructionsPublished by Association for Computing Machinery (ACM) ,1989
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985