Toshihiko Kurata

According to our database, Toshihiko Kurata authored at least 5 papers between 1995 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic.

Toshihiko Kurata, Ken-etsu Fujita

Fundam. Informaticae, 2019

2002

Completeness of intersection and union type assignment systems for call-by-value lambda-models.

Hajime Ishihara, Toshihiko Kurata

Theor. Comput. Sci., 2002

Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees.

Toshihiko Kurata

Inf. Comput., 2002

1997

A Type Theoretical View of Böhm-Trees.

Toshihiko Kurata

Proceedings of the Typed Lambda Calculi and Applications, 1997

1995

Decidable Properties of Intersection Type Systems.

Toshihiko Kurata, Masako Takahashi

Proceedings of the Typed Lambda Calculi and Applications, 1995