The lazy lambda calculus. Research Topics (1990)

by S Abramsky
Venue:in Functional Programming