Nakazawa, Koji An isomorphism between cut-elimination procedure and proof reduction. (English) Zbl 1215.03067 Ronchi della Rocca, Simona (ed.), Typed lambda calculi and applications. 8th international conference, TLCA 2007, Paris, France, June 26–28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73227-3/pbk). Lecture Notes in Computer Science 4583, 336-350 (2007). MSC: 03F05 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa}, Lect. Notes Comput. Sci. 4583, 336--350 (2007; Zbl 1215.03067) Full Text: DOI
Nakazawa, Koji Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. (English) Zbl 1018.68016 Theor. Comput. Sci. 290, No. 1, 429-463 (2003). MSC: 68N18 PDF BibTeX XML Cite \textit{K. Nakazawa}, Theor. Comput. Sci. 290, No. 1, 429--463 (2003; Zbl 1018.68016) Full Text: DOI