[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Rum an intensional theory of function and control abstractions
Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, GiorgioVolume:
10.1007/3-
Year:
1988
Language:
english
Pages:
44
DOI:
10.1007/3-540-19129-1_1
File:
PDF, 2.49 MB
english, 1988