|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Gaboardi07phd (PhD thesis) | |
| Author(s) | Marco Gaboardi |
| Title | « Linearity: an Analytic Tool in the study of Complexity and Semantics of Programming Languages » |
| School | Università degli Studi di Torino - Institut National Polytechnique de Lorraine |
| Year | 2007 |
| http://www.di.unito.it/˜gaboardi/papers/Gaboardi07phd.pdf | |
| BibTeX code |
@phdthesis{Gaboardi07phd,
pdf = {http://www.di.unito.it/~gaboardi/papers/Gaboardi07phd.pdf},
school = {Universit\`a degli Studi di Torino - Institut National Polytechnique
de Lorraine},
title = {Linearity: an Analytic Tool in the study of Complexity and Semantics
of Programming Languages},
author = {Gaboardi, Marco},
year = {2007},
}
|
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)