×
Compute Distance To:
Author ID: nakazawa.koji Recent zbMATH articles by "Nakazawa, Koji"
Published as: Nakazawa, Koji
Documents Indexed: 18 Publications since 1990
Co-Authors: 16 Co-Authors with 15 Joint Publications
136 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 27 times in 22 Documents Cited by Year
Strong normalization proofs by CPS-translations. Zbl 1185.68625
Ikeda, Satoshi; Nakazawa, Koji
6
2006
Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi
5
2008
Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016
Nakazawa, Koji
4
2003
Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060
Nakazawa, Koji; Tatsuta, Makoto
4
2003
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
3
2016
An isomorphism between cut-elimination procedure and proof reduction. Zbl 1215.03067
Nakazawa, Koji
2
2007
Reduction system for extensional lambda-mu calculus. Zbl 1417.03133
Nakazawa, Koji; Nagai, Tomoharu
2
2014
Strong normalization of classical natural deduction with disjunctions. Zbl 1141.03027
Nakazawa, Koji; Tatsuta, Makoto
1
2008
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
3
2016
Reduction system for extensional lambda-mu calculus. Zbl 1417.03133
Nakazawa, Koji; Nagai, Tomoharu
2
2014
Undecidability of type-checking in domain-free typed lambda-calculi with existence. Zbl 1156.03316
Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi
5
2008
Strong normalization of classical natural deduction with disjunctions. Zbl 1141.03027
Nakazawa, Koji; Tatsuta, Makoto
1
2008
An isomorphism between cut-elimination procedure and proof reduction. Zbl 1215.03067
Nakazawa, Koji
2
2007
Strong normalization proofs by CPS-translations. Zbl 1185.68625
Ikeda, Satoshi; Nakazawa, Koji
6
2006
Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016
Nakazawa, Koji
4
2003
Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060
Nakazawa, Koji; Tatsuta, Makoto
4
2003

Citations by Year