Normalized Types
- 30 August 2001
- book chapter
- Published by Springer Nature
- p. 554-569
- https://doi.org/10.1007/3-540-44802-0_39
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- The Church-Rosser property for beta eta -reduction in typed lambda -calculiPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Automata-driven automated inductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Do-it-yourself type theoryFormal Aspects of Computing, 1989
- The calculus of constructionsInformation and Computation, 1988