bibliographyTheoretical-PhD-thesis.bib

@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}
}