 | 2002 |
|---|
| 4 |       | Toshihiko Kurata:
Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees.
Inf. Comput. 178(1): 1-11 (2002) |
| 3 | | Hajime Ishihara,
Toshihiko Kurata:
Completeness of intersection and union type assignment systems for call-by-value lambda-models.
Theor. Comput. Sci. 272(1-2): 197-221 (2002) |
| 1997 |
|---|
| 2 |  | Toshihiko Kurata:
A Type Theoretical View of Böhm-Trees.
TLCA 1997: 231-247 |
| 1995 |
|---|
| 1 | | Toshihiko Kurata,
Masako Takahashi:
Decidable Properties of Intersection Type Systems.
TLCA 1995: 297-311 |
