Normalized Types
- 30 August 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 554-569
- https://doi.org/10.1007/3-540-44802-0_39
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Science and Business Media LLC ,2005
- Do-it-yourself type theoryFormal Aspects of Computing, 1989
- The calculus of constructionsInformation and Computation, 1988