|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| gaboardi07siena (In proceedings) | |
| Author(s) | Marco Gaboardi and Luca Paolini |
| Title | « Syntactical, Operational and Denotational Linearity » |
| In | Workshop on Linear Logic, Ludics, Implicit Complexity and Operator Algebras. Dedicated to Jean-Yves Girard on his 60th birthday |
| Year | 2007 |
| Address | Certosa di Pontignano, Siena |
| URL | http://www.unisi.it/eventi/LOGIC/ |
| BibTeX code |
@inproceedings{gaboardi07siena,
booktitle = {Workshop on Linear Logic, Ludics, Implicit Complexity and
Operator Algebras. Dedicated to Jean-Yves Girard on his 60th
birthday},
month = {May},
url = {http://www.unisi.it/eventi/LOGIC/},
author = {Gaboardi, Marco and Paolini, Luca},
title = {Syntactical, Operational and Denotational Linearity},
address = {Certosa di Pontignano, Siena},
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)