**GaboardiRonchi06pcc (In proceedings)
** |

Author(s) | Marco Gaboardi and Simona Ronchi Della Rocca |

Title | « *Soft Linear Logic and $\lambda $-Calculus »* |

In | 4th International Workshop on Proof, Computation, Complexity PCC'06 . Ilmenau, Germany, July 24-25 , 2006, Proceedings |

Year | 2006 |

```
@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},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)