A proof of cut-elimination theorem in simple type-theory
Open Access
- 1 October 1967
- journal article
- Published by Mathematical Society of Japan (Project Euclid) in Journal of the Mathematical Society of Japan
- Vol. 19 (4)
- https://doi.org/10.2969/jmsj/01940399