PhD Thesis

[1]

Luca Roversi. Semantics of lambda-calculi designed from Intuitionistic linear logic. PhD thesis, Dipartimento di Informatica, Università di Pisa, C.so Italia 40 -- 56125 Pisa -- Italy, February 1995. [ bib | .pdf ]