Decidable Properties of Intersection Type Systems. - Toshihiko Kurata; Masako Takahashi (TLCA, 1995)

A Type Theoretical View of Böhm-Trees. - Toshihiko Kurata (TLCA, 1997)

Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees. - Toshihiko Kurata (Inf. Comput., 2002)

Completeness of intersection and union type assignment systems for call-by-value lambda-models. - Hajime Ishihara; Toshihiko Kurata (Theor. Comput. Sci., 2002)

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic. - Toshihiko Kurata; Ken-etsu Fujita (Fundam. Informaticae, 2019)