Some normalization properties of martin-löf's type theory, and applications
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 475-494
- https://doi.org/10.1007/3-540-54415-1_60
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- Computational metatheory in NuprlPublished by Springer Nature ,2005
- Equality in lazy computation systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On computational open-endedness in Martin-Lof's type theoryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986