Edit Profile (opens in new tab) Nakazawa, Koji Co-Author Distance Author ID: nakazawa.koji Published as: Nakazawa, Koji Documents Indexed: 20 Publications since 1990 Co-Authors: 17 Co-Authors with 17 Joint Publications 146 Co-Co-Authors all top 5 Co-Authors 2 single-authored 4 Tatsuta, Makoto 3 Fujita, Ken-etsu 2 Espírito Santo, José Carlos 2 Kameyama, Yukiyoshi 2 Kimura, Daisuke 2 Matthes, Ralph 2 Nakano, Hiroshi 2 Pinto, Luís F. 2 Saotome, Kenji 1 Honda, Yuki 1 Ikeda, Satoshi 1 Imagawa, Yuta 1 Kato, Yuki 1 Katsumata, Shin-ya 1 Nagai, Tomoharu 1 Naya, Hiroto 1 Tatsutay, Makoto all top 5 Serials 3 Studia Logica 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 1 Astronomy and Astrophysics 1 Information Processing Letters 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Chicago Journal of Theoretical Computer Science Fields 17 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 1 Partial differential equations (35-XX) 1 Mechanics of particles and systems (70-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 10 Publications have been cited 32 times in 25 Documents Cited by ▼ Year ▼ Strong normalization proofs by CPS-translations. Zbl 1185.68625Ikeda, Satoshi; Nakazawa, Koji 6 2006 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 5 2008 Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060Nakazawa, Koji; Tatsuta, Makoto 4 2003 Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016Nakazawa, Koji 4 2003 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 4 2016 Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 3 2014 An isomorphism between cut-elimination procedure and proof reduction. Zbl 1215.03067Nakazawa, Koji 3 2007 Strong normalization of classical natural deduction with disjunctions. Zbl 1141.03027Nakazawa, Koji; Tatsuta, Makoto 1 2008 Extensional models of untyped \(\lambda\mu\)-calculus. Zbl 1459.68071Nakazawa, Koji; Katsumata, Shin-Ya 1 2012 Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu 1 2021 Confluence proofs of lambda-mu-calculi by Z theorem. Zbl 07450681Honda, Yuki; Nakazawa, Koji; Fujita, Ken-etsu 1 2021 Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020Nakazawa, Koji; Fujita, Ken-etsu 4 2016 Reduction system for extensional lambda-mu calculus. Zbl 1417.03133Nakazawa, Koji; Nagai, Tomoharu 3 2014 Extensional models of untyped \(\lambda\mu\)-calculus. Zbl 1459.68071Nakazawa, Koji; Katsumata, Shin-Ya 1 2012 Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi 5 2008 Strong normalization of classical natural deduction with disjunctions. Zbl 1141.03027Nakazawa, Koji; Tatsuta, Makoto 1 2008 An isomorphism between cut-elimination procedure and proof reduction. Zbl 1215.03067Nakazawa, Koji 3 2007 Strong normalization proofs by CPS-translations. Zbl 1185.68625Ikeda, Satoshi; Nakazawa, Koji 6 2006 Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060Nakazawa, Koji; Tatsuta, Makoto 4 2003 Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016Nakazawa, Koji 4 2003 all cited Publications top 5 cited Publications all top 5 Cited by 29 Authors 10 Fujita, Ken-etsu 9 Nakazawa, Koji 4 Tatsuta, Makoto 3 Schubert, Aleksy 2 Espírito Santo, José Carlos 2 Hasegawa, Ryu 2 Matthes, Ralph 2 Nakano, Hiroshi 2 Nour, Karim 2 Pinto, Luís F. 1 Ariola, Zena M. 1 Biernacka, Małgorzata 1 Biernacki, Dariusz 1 David, Rene 1 Downen, Paul 1 Honda, Yuki 1 Ikeda, Satoshi 1 Imagawa, Yuta 1 Johnson-Freyd, Philip 1 Kameyama, Yukiyoshi 1 Kikuchi, Kentaro 1 Lenglet, Sergueï 1 Lengrand, Stéphane Jean Eric 1 Materzok, Marek 1 Naya, Hiroto 1 Saber, Khelifa 1 Sørensen, Morten Heine B. 1 Urzyczyn, Paweł 1 Yamagata, Yoriyuki all top 5 Cited in 10 Serials 4 Theoretical Computer Science 3 Studia Logica 3 Annals of Pure and Applied Logic 3 Information and Computation 2 The Journal of Symbolic Logic 2 MSCS. Mathematical Structures in Computer Science 1 Information Processing Letters 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 Logical Methods in Computer Science Cited in 2 Fields 23 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) Citations by Year