S. Ronchi Della Rocca

Bibliography

Della Rocca, S. Ronchi and Roversi, L. 1997. “Lambda Calculus and Intuitionistic Linear Logic.” Studia Logica: An International Journal for Symbolic Logic 59(3): 417–448.