Andou, Yuuki A system of \(\lambda\mu\)-calculus proper to the implicational fragment of classical natural deduction with one conclusion. (English) Zbl 0925.03097 RIMS Kokyuroku 976, 70-76 (1997). Cited in 1 Document MSC: 03B40 Combinatory logic and lambda calculus 03F05 Cut-elimination and normal-form theorems PDF BibTeX XML Cite \textit{Y. Andou}, RIMS Kokyuroku 976, 70--76 (1997; Zbl 0925.03097) OpenURL