Proof Normalization Modulo
Authors:
- 1 January 1999
- book chapter
- Published by Springer Nature
- Vol. 68 (4) , 62-77
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The calculus of constructionsInformation and Computation, 1988
- Intensional interpretations of functionals of finite type IThe Journal of Symbolic Logic, 1967