`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: Nakazawa:Koji

### Contributed to:

### 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.