`Travelled to:`

1 × Austria

1 × Italy

1 × Japan

`Collaborated with:`

∅ M.Sato Y.Kameyama R.M.Burstall A.Igarashi

`Talks about:`

construct (2) properti (2) syntact (2) environ (2) prove (2) model (2) explicit (1) categori (1) calculus (1) variabl (1)

## Person: Takafumi Sakurai

### DBLP: Sakurai:Takafumi

### Contributed to:

### Wrote 5 papers:

- CSL-2003-SatoSKI #calculus
- Calculi of Meta-variables (MS, TS, YK, AI), pp. 484–497.
- FLOPS-2001-SatoSK #calculus
- A Simply Typed Context Calculus with First-Class Environments (MS, TS, YK), pp. 359–374.
- TLCA-1999-SatoSB
- Explicit Environments (MS, TS, RMB), pp. 340–354.
- FLOPS-1998-Sakurai #proving
- Categorial Model Construction for Proving Syntactic Properties (TS), pp. 187–206.
- FLOPS-J2-1998-Sakurai01 #category theory #proving
- Categorical Model Construction for Proving Syntactic Properties (TS), pp. 213–244.