Fully Abstract Models of the Lazy -calculus (0)

by C-H Luke Ong
Venue:Proc. FOCS 88