Toshihiko Kurata (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Toshihiko Kurata, Masako Takahashi: Decidable Properties of Intersection Type Systems. TLCA 1995: 297-311

Selection of 1 from 4 records - Toshihiko Kurata has 2 coauthors