A Functional System with Transfinitely Defined Types.

Mariko Yasugi Susumu Hayashi A Functional System with Transfinitely Defined Types. 31-60 1994 conf/birthday/1994takasu Logic, Language and Computation db/conf/birthday/takasu94.html#YasugiH94