Categorical reconstruction of a reduction free normalization proof
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 182-199
- https://doi.org/10.1007/3-540-60164-3_27
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- From semantics to rules: A machine assisted analysisPublished by Springer Nature ,2006
- βη-Equality for coproductsPublished by Springer Nature ,1995
- An algorithm for testing conversion in type theoryPublished by Cambridge University Press (CUP) ,1991
- Kripke-style models for typed lambda calculusAnnals of Pure and Applied Logic, 1991
- An inverse of the evaluation functional for typed lambda -calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965