|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Roversi:1995-PhDThesis (PhD thesis) | |
| Author(s) | Luca Roversi |
| Title | « Semantics of lambda-calculi designed from Intuitionistic linear logic » |
| School | Dipartimento di Informatica, Università di Pisa |
| Year | 1995 |
| Address | C.so Italia 40 -- 56125 Pisa -- Italy |
| URL | http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1995-PhDThesis/Roversi1995PhDThesis.ps.gz |
| BibTeX code |
@phdthesis{Roversi:1995-PhDThesis,
month = {February},
url = {http://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/1995-PhDThesis/Roversi1995PhDThesis.ps.gz},
school = {Dipartimento di Informatica, Universit\`a di Pisa},
address = {C.so Italia 40 -- 56125 Pisa -- Italy},
title = {Semantics of lambda-calculi designed from {I}ntuitionistic linear
logic},
author = {Roversi, Luca},
year = {1995},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)