Nakazawa, Koji; Nagai, Tomoharu Reduction system for extensional lambda-mu calculus. (English) Zbl 1417.03133 Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 349-363 (2014). MSC: 03B40 68Q05 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{T. Nagai}, Lect. Notes Comput. Sci. 8560, 349--363 (2014; Zbl 1417.03133) Full Text: DOI
Espírito Santo, José; Matthes, Ralph; Nakazawa, Koji; Pinto, Luís Monadic translation of classical sequent calculus. (English) Zbl 1311.68042 Math. Struct. Comput. Sci. 23, No. 6, 1111-1162 (2013). MSC: 68N18 03B40 03F05 PDF BibTeX XML Cite \textit{J. Espírito Santo} et al., Math. Struct. Comput. Sci. 23, No. 6, 1111--1162 (2013; Zbl 1311.68042) Full Text: DOI
Nakazawa, Koji; Tatsutay, Makoto Type checking and inference for polymorphic and existential types in multiple-quantifier and type-free systems. (English) Zbl 1286.68060 Chic. J. Theor. Comput. Sci. 2010, Spec. Iss., Article No. 10, 19 p. (2010). MSC: 68N18 03B70 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{M. Tatsutay}, Chic. J. Theor. Comput. Sci. 2010, Article No. 10, 19 p. (2010; Zbl 1286.68060) Full Text: DOI
Kato, Yuki; Nakazawa, Koji Type checking and inference are equivalent in lambda calculi with existential types. (English) Zbl 1274.03027 Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 96-110 (2010). MSC: 03B40 68N18 PDF BibTeX XML Cite \textit{Y. Kato} and \textit{K. Nakazawa}, Lect. Notes Comput. Sci. 5979, 96--110 (2010; Zbl 1274.03027) Full Text: DOI
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi Undecidability of type-checking in domain-free typed lambda-calculi with existence. (English) Zbl 1156.03316 Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 478-492 (2008). MSC: 03B40 03B25 03B70 68N18 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Lect. Notes Comput. Sci. 5213, 478--492 (2008; Zbl 1156.03316) Full Text: DOI
Ikeda, Satoshi; Nakazawa, Koji Strong normalization proofs by CPS-translations. (English) Zbl 1185.68625 Inf. Process. Lett. 99, No. 4, 163-170 (2006). MSC: 68T15 03B40 68N18 PDF BibTeX XML Cite \textit{S. Ikeda} and \textit{K. Nakazawa}, Inf. Process. Lett. 99, No. 4, 163--170 (2006; Zbl 1185.68625) 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