|
Search the dblp DataBase
Toshihiko Kurata:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Toshihiko Kurata
A Type Theoretical View of Böhm-Trees. [Citation Graph (0, 0)][DBLP] TLCA, 1997, pp:231-247 [Conf]
- Toshihiko Kurata, Masako Takahashi
Decidable Properties of Intersection Type Systems. [Citation Graph (0, 0)][DBLP] TLCA, 1995, pp:297-311 [Conf]
- Toshihiko Kurata
Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:178, n:1, pp:1-11 [Journal]
- Hajime Ishihara, Toshihiko Kurata
Completeness of intersection and union type assignment systems for call-by-value lambda-models. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:272, n:1-2, pp:197-221 [Journal]
Search in 0.001secs, Finished in 0.001secs
|