The Lazy Lambda Calculus (1990)

by Samson Abramsky
Venue:Research Topics in Functional Programming
Citations:238 - 3 self