Giulio Manzonetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Interaction Improvement. | Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni |
| 2026 | FSCD | Groups and Inverse Semigroups in Lambda Calculus. | Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra |
| 2025 | FSCD | Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! | Rmy Cerda, Giulio Manzonetto, Alexis Saurin |
| 2023 | FSCD | A Lambda Calculus Satellite (Invited Talk). | Giulio Manzonetto |
| 2021 | FSCD | Call-By-Value, Again! | Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca |
| 2016 | LICS | Factor Varieties and Symbolic Computation. | Antonino Salibra, Giulio Manzonetto, Giordano Favro |
| 2013 | LFCS | Call-by-Value Non-determinism in a Linear Logic Type Discipline. | Alejandro Daz-Caro, Giulio Manzonetto, Michele Pagani |
| 2013 | LICS | Weighted Relational Models of Typed Lambda-Calculi. | Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani |
| 2012 | ICALP | Loader and Urzyczyn Are Logically Related. | Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt |
| 2011 | CSL | Full Abstraction for Resource Calculus with Tests. | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
| 2011 | ICALP | Constructing Differential Categories and Deconstructing Categories of Games. | Jim Laird, Giulio Manzonetto, Guy McCusker |
| 2010 | MFCS | Harnessing ML | Giulio Manzonetto, Paolo Tranquilli |
| 2009 | LFCS | A Relational Model of a Parallel and Non-deterministic lambda-Calculus. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2009 | MFCS | A General Class of Models of H | Giulio Manzonetto |
| 2008 | MFCS | From lambda-Calculus to Universal Algebra and Back. | Giulio Manzonetto, Antonino Salibra |
| 2007 | CSL | Lambda Theories of Effective Lambda Models. | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
| 2007 | CSL | Not Enough Points Is Enough. | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto |
| 2006 | LICS | Boolean Algebras for Lambda Calculus. | Giulio Manzonetto, Antonino Salibra |