Hiroshi Nakano

Inhabitance of Existential Types is Decidable in Negation-Product Fragment

Makoto Tatsuta, Ryu Hasegawa, Ken-etsu Fujita, 2008 .

A New Formulation of the Catch/Throw Mechanism

Makoto Tatsuta, Masahiko Sato, Hiroshi Nakano, 1997 .