GaboardiPaolini07logic (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/ |
@inproceedings{GaboardiPaolini07logic,
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/},
address = {Certosa di Pontignano, Siena},
title = {Syntactical, Operational and Denotational Linearity},
author = {Gaboardi, Marco and Paolini, Luca},
year = 2007,
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)