Linear logic and lazy computation (1987)

by J-Y Girard, Y Lafont
Venue:In TAPSOFT’87, Vol.2, volume 250 of LNCS