Travelled to:1 × France
1 × United Kingdom
Collaborated with:∅ M.Takahashi
Talks about:type (2) intersect (1) properti (1) theoret (1) system (1) decid (1) view (1) tree (1) böhm (1)
Person: Toshihiko Kurata
DBLP: Kurata:Toshihiko
Contributed to:
19971995Wrote 2 papers:
- TLCA-1997-Kurata
- A Type Theoretical View of Böhm-Trees (TK), pp. 231–247.
- TLCA-1995-KurataT #decidability #type system
- Decidable Properties of Intersection Type Systems (TK, MT), pp. 297–311.