A Functional System with Transfinitely Defined Types - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Mariko Yasugi' in GoogleThis author has not been identified. Look up 'Susumu Hayashi' in Google

runs on WebDSL