×

zbMATH — the first resource for mathematics

Nakazawa, Koji

Compute Distance To:
Author ID: nakazawa.koji Recent zbMATH articles by "Nakazawa, Koji"
Published as: Nakazawa, Koji; Nakazawa, K.
Documents Indexed: 17 Publications since 1990

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 25 times in 21 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
Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060
Nakazawa, Koji; Tatsuta, Makoto
4
2003
Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016
Nakazawa, Koji
3
2003
Reduction system for extensional lambda-mu calculus. Zbl 1417.03133
Nakazawa, Koji; Nagai, Tomoharu
2
2014
Compositional Z: confluence proofs for permutative conversion. Zbl 1368.03020
Nakazawa, Koji; Fujita, Ken-etsu
2
2016
An isomorphism between cut-elimination procedure and proof reduction. Zbl 1215.03067
Nakazawa, Koji
2
2007
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
2
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
Strong normalization proof with CPS-translation for second order classical natural deduction. Zbl 1058.03060
Nakazawa, Koji; Tatsuta, Makoto
4
2003
Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. Zbl 1018.68016
Nakazawa, Koji
3
2003

Citations by Year