| No. |
Title |
Author |
Year |
| 1 |
A Quantitative Version of Simple Types |
Pautasso, Daniele et al. |
2023 |
| 2 |
Call-By-Value, Again! |
Kerinec, Axel et al. |
2021 |
| 3 |
Solvability in a Probabilistic Setting (Invited Talk) |
Ronchi Della Rocca, Simona et al. |
2020 |
| 4 |
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper) |
Ronchi Della Rocca, Simona |
2018 |
| 5 |
Observability for Pair Pattern Calculi |
Bucciarelli, Antonio et al. |
2015 |
| 6 |
Standardization of a Call-By-Value Lambda-Calculus |
Guerrieri, Giulio et al. |
2015 |
| 7 |
The Ackermann Award 2015 |
Dawar, Anuj et al. |
2015 |
| 8 |
Frontmatter, Table of Contents, Preface, Conference Organization |
Ronchi Della Rocca, Simona |
2013 |
| 9 |
LIPIcs, Volume 23, CSL'13, Complete Volume |
Ronchi Della Rocca, Simona |
2013 |
