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.
@inproceedings{YasugiH94,
title = {A Functional System with Transfinitely Defined Types},
author = {Mariko Yasugi and Susumu Hayashi},
year = {1994},
tags = {type system},
researchr = {https://researchr.org/publication/YasugiH94},
cites = {0},
citedby = {0},
pages = {31-60},
booktitle = {Logic, Language and Computation, Festschrift in Honor of Satoru Takasu},
editor = {Neil D. Jones and Masami Hagiya and Masahiko Sato},
volume = {792},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}