Open Access
Translator Disclaimer
October, 1967 A proof of cut-elimination theorem in simple type-theory
Moto-o TAKAHASHI
J. Math. Soc. Japan 19(4): 399-410 (October, 1967). DOI: 10.2969/jmsj/01940399
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
12 PAGES


SHARE
Vol.19 • No. 4 • October, 1967
Back to Top