BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Italy
Collaborated with:
T.Nagai M.Tatsuta Y.Kameyama H.Nakano
Talks about:
reduct (2) type (2) extension (1) procedur (1) isomorph (1) calculus (1) undecid (1) calculi (1) between (1) system (1)

Person: Koji Nakazawa

DBLP DBLP: Nakazawa:Koji

Contributed to:

RTA-TLCA 20142014
CSL 20082008
TLCA 20072007

Wrote 3 papers:

RTA-TLCA-2014-NakazawaN #reduction #λ-calculus #μ-calculus
Reduction System for Extensional Λμ Calculus (KN, TN), pp. 349–363.
CSL-2008-NakazawaTKN #λ-calculus
Undecidability of Type-Checking in Domain-Free Typed λ-Calculi with Existence (KN, MT, YK, HN), pp. 478–492.
TLCA-2007-Nakazawa #morphism #proving #reduction
An Isomorphism Between Cut-Elimination Procedure and Proof Reduction (KN), pp. 336–350.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.