Lambda calculus and intuitionistic linear logic (1997)

by S Ronchi della Rocca, L Roversi
Venue:Studia Logica