@phdthesis{Roversi:1995-PhDThesis, author = {Roversi, Luca}, title = {Semantics of lambda-calculi designed from {I}ntuitionistic linear logic}, year = {1995}, month = {February}, address = {C.so Italia 40 -- 56125 Pisa -- Italy}, school = {Dipartimento di Informatica, Universit\`a di Pisa}, url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1995-PhDThesis/Roversi1995PhDThesis.pdf} }