Linear logic and lazy computation", preprint (1987)

by J-Y Girard, Y Lafont