|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GaboardiRonchi06pcc (In proceedings) | |
| Author(s) | Marco Gaboardi and Simona Ronchi Della Rocca |
| Title | « Soft Linear Logic and -Calculus » |
| In | 4th International Workshop on Proof, Computation, Complexity PCC'06 . Ilmenau, Germany, July 24-25 , 2006, Proceedings |
| Year | 2006 |
| BibTeX code |
@inproceedings{GaboardiRonchi06pcc,
booktitle = {4th International Workshop on Proof, Computation, Complexity
{PCC'06} . Ilmenau, Germany, July 24-25 , 2006, Proceedings},
title = {Soft Linear Logic and $\lambda$-Calculus},
author = {Gaboardi, Marco and {Ronchi Della Rocca}, Simona},
year = {2006},
}
|
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)