[Lecture Notes in Computer Science] Logic, Language and Computation Volume 792 || A functional system with transfinitely defined types
Jones, Neil D., Hagiya, Masami, Sato, MasahikoVolume:
10.1007/BF
Year:
1994
Language:
english
DOI:
10.1007/BFb0032393
File:
PDF, 1.32 MB
english, 1994