Workshops/National conferences

[1]

Luca Paolini, Luca Roversi, and Margherita Zorzi. Quantum programming made easy. In Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, and Lorenzo Tortora de Falco, editors, Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Oxford, UK, 7-8 July 2018, volume 292 of Electronic Proceedings in Theoretical Computer Science, pages 133--147. Open Publishing Association, 2019. [ bib | DOI ]

[2]

Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, and Luca Roversi. Can a light typing discipline be compatible with an efficient implementation of finite fields inversion? In U. Dal Lago and R. Peña, editors, Foundational and Practical Aspects of Resource Analysis (subtitle: 3rd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013), volume 8552 of LNCS, pages 38 -- 57. Springer, 2014. [ bib | .pdf ]

[3]

Emanuele Cesena, Marco Pedicini, and Luca Roversi. Typing a Core Binary-Field Arithmetic in a Light Logic. In R. Peña, M. van Eekelen, and O. Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis (subtitle: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011), volume 7177 of LNCS, pages 19 -- 35. Springer, 2012. [ bib | © Springer-Verlag | .pdf ]

[4]

Luca Roversi and Luca Vercelli. Safe Recursion on Notation into a Light Logic by Levels. In Proceedings of the Workshop on Developments in Implicit Computational complexity (DICE 2010), volume 23 of Electronic Proceedings in Theoretical Computer Science, pages 63 -- 77. On-line, March 2010. [ bib | .pdf ]

[5]

Luca Roversi and Luca Vercelli. A structural and local criterion for polynomial time computations. In M. van Eekelen and O. Shkaravska, editors, Foundational and Practical Aspects of Resource Analysis (subtitle: 1st International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2009), volume 6324 of LNCS, pages 66 -- 81. Springer, 2010. [ bib | © Springer-Verlag | .pdf ]

[6]

Elaine Pimentel, Simona Ronchi Della Rocca, and Luca Roversi. Intersection Types from a proof-theoretic perspective. Presented at the 4th Workshop on Intersection Types and Related Systems (ITRS '08) -- Torino (Italy), March 2008. [ bib | .pdf ]

[7]

Elaine. Pimentel, Simona Ronchi Della Rocca, and Luca Roversi. Intersection types: a proof-theoretical approach. In Proc. of STRUCTURES AND DEDUCTION - ICALP Workshop, Lisbon July 16-17, pages 189 -- 204, July 2005. Presented at the workshop Structures and Deduction (SD'05). [ bib | .pdf ]