Mariko Yasugi, Susumu Hayashi. A Functional System with Transfinitely Defined Types. In Neil D. Jones, Masami Hagiya, Masahiko Sato, editors, Logic, Language and Computation, Festschrift in Honor of Satoru Takasu. Volume 792 of Lecture Notes in Computer Science, pages 31-60, Springer, 1994.
Abstract is missing.