Nakazawa, Koji; Fujita, Ken-etsu Compositional Z: confluence proofs for permutative conversion. (English) Zbl 1368.03020 Stud. Log. 104, No. 6, 1205-1224 (2016). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{K.-e. Fujita}, Stud. Log. 104, No. 6, 1205--1224 (2016; Zbl 1368.03020) Full Text: DOI
Nakazawa, Koji; Naya, Hiroto Strong reduction of combinatory calculus with streams. (English) Zbl 1326.03023 Stud. Log. 103, No. 2, 375-387 (2015). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{H. Naya}, Stud. Log. 103, No. 2, 375--387 (2015; Zbl 1326.03023) Full Text: DOI
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; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi Type checking and typability in domain-free lambda calculi. (English) Zbl 1241.03011 Theor. Comput. Sci. 412, No. 44, 6193-6207 (2011). MSC: 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} et al., Theor. Comput. Sci. 412, No. 44, 6193--6207 (2011; Zbl 1241.03011) 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
Nakazawa, Koji; Tatsuta, Makoto Strong normalization of classical natural deduction with disjunctions. (English) Zbl 1141.03027 Ann. Pure Appl. Logic 153, No. 1-3, 21-37 (2008). Reviewer: M. Yasuhara (Princeton) MSC: 03F05 03B05 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{M. Tatsuta}, Ann. Pure Appl. Logic 153, No. 1--3, 21--37 (2008; Zbl 1141.03027) Full Text: DOI
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
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; Tatsuta, Makoto Strong normalization proof with CPS-translation for second order classical natural deduction. (English) Zbl 1058.03060 J. Symb. Log. 68, No. 3, 851-859 (2003); Corrigendum ibid. 68, No. 4, 1415-1416 (2003). MSC: 03F05 03B40 PDF BibTeX XML Cite \textit{K. Nakazawa} and \textit{M. Tatsuta}, J. Symb. Log. 68, No. 3, 851--859 (2003; Zbl 1058.03060) Full Text: DOI Euclid