Publications

titolo vuoto

THEORETICAL SUBJECTS

Techrep/unpublished works

Journals

Armando B. Matos, Luca Paolini, and Luca Roversi. The fixed point problem of a simple reversible language. Theoretical Computer Science, 813:143 -- 154, 2020. [ bib | DOI | http ]

Luca Paolini, Mauro Piccolo, and Luca Roversi. A class of recursive permutations which is primitive recursive complete. Theoretical Computer Science, 813:218 -- 233, 2020. [ bib | DOI | http ]

Gianluca Curzi Luca Roversi. A type-assignment of linear erasure and duplication. THEORETICAL COMPUTER SCIENCE, 837:26--53, 2020. [ bib | DOI | http ]

L. Paolini, M. Piccolo, and L. Roversi. A class of recursive permutations which is primitive recursive complete. THEORETICAL COMPUTER SCIENCE, 813:218--233, 2020. [ bib | DOI | http ]

Matos Armando, Paolini Luca, and Roversi Luca. The fixed point problem of a simple reversible language. THEORETICAL COMPUTER SCIENCE, 813:143--154, 2020. [ bib | DOI | http ]

Luca Paolini, Mauro Piccolo, and Luca Roversi. On a class of reversible primitive recursive functions and its turing-complete extensions. New Generation Computing, 36(3):233--256, July 2018. [ bib | DOI | http ]

Luca Roversi. A deep inference system with a self-dual binder which is complete for linear lambda calculus. Journal of Logic and Computation, 26(2):677--698, 2016. Preliminary version at https://arxiv.org/abs/1212.4483. [ bib | DOI | http ]

Luca Paolini, Mauro Piccolo, and Luca Roversi. A class of reversible primitive recursive functions. Electronic Notes in Theoretical Computer Science, 322(18605):227--242, 2016. [ bib | DOI | http ]

Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, and Luca Roversi. Light combinators for finite fields arithmetic. Science of Computer Programming, 111(3):365 --- 394, November 2015. [ bib | DOI | .pdf ]

Elaine Pimentel, Simonetta Ronchi Della Rocca, and Luca Roversi. Intersection Types from a Proof-theoretic Perspective. Fundamenta Informaticae, 121(1-4):253---274, December 2012. [ bib | .pdf ]

Andrea Asperti and Luca Roversi. Intuitionistic light affine logic. ACM Trans. Comput. Logic, 3(1):137--175, January 2002. [ bib | DOI | .pdf ]

Luca Roversi. Light affine logic as a programming language: a first contribution. International Journal of Foundations of Computer Science, 11(1):113 --- 152, March 2000. [ bib | .pdf ]

Alberto Pravato, Simonetta Ronchi della Rocca, and Luca Roversi. The call by value λ-calculus: a semantic investigation. Mathematical Structures in Computer Science, 9(5):617 --- 650, 1999. [ bib | .pdf ]

Simonetta Ronchi Della Rocca and Luca Roversi. Lambda calculus and intuitionistic linear logic. Studia Logica, 59(3), 1997. [ bib | .pdf ]

International conferences

A. B. Matos, L. Paolini, and L. Roversi. Splitting recursion schemes into reversible and classical interacting threads. In Shigeru Yamashita and Tetsuo Yokoyama, editors, Reversible Computation (13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings), volume 12805 of Lecture Notes in Computer Science, pages 204--213, Cham, 2021. Springer International Publishing. [ bib | DOI | http ]

A. B. Matos, L. Paolini, and L. Roversi. On the expressivity of total reversible programming languages. In Reversible Computation (12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings), volume 12227 of Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pages 128--143, Cham, 2020. Springer. [ bib | DOI | http ]

Armando B. Matos, Luca Paolini, and Luca Roversi. The fixed point problem for general and for linear SRL programs is undecidable. In Alessandro Aldini and Marco Bernardo, editors, Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018, volume 2243 of CEUR Workshop Proceedings, pages 128--139. CEUR-WS.org, 2018. [ bib | .pdf ]

Luca Paolini, Mauro Piccolo, and Luca Roversi. A certified study of a reversible programming language. In Tarmo Uustalu, editor, TYPES 2015 postproceedings, volume 69 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2017. [ bib | http ]

Luca Roversi. Linear Lambda Calculus and Deep Inference. In Luke Ong, editor, TLCA 2011 - 10th Typed Lambda Calculi and Applications, Part of RDP'11, volume 6690 of ARCoSS/LNCS, pages 184 -- 197. Springer, 2011. ISBN 978-3-642-21690-9. An extended version available at http://arxiv.org/abs/1011.3668. [ bib | © Springer-Verlag | http ]

Ugo Dal Lago, Luca Roversi, and Luca Vercelli. Taming Modal Impredicativity: Superlazy Reduction. In Proceedings of Logical Foundations of Computer Science (LFCS09), volume LNCS 5407 of Lecture Notes in Computer Science, pages 137 -- 151. Springer Verlag, January 2009. An extended version is http://arxiv.org/abs/0810.2891. [ bib | © Springer-Verlag | .pdf ]

Luca Roversi and Luca Vercelli. Some Complexity and Expressiveness results on Multimodal and Stratified Proof-nets. In Proceedings of TYPES'08, volume 5497 of Lecture Notes in Computer Science, pages 306 -- 322. Springer, 2009. [ bib | DOI | © Springer-Verlag | .pdf ]

Marco Gaboardi, Luca Roversi, and Luca Vercelli. A by-level analysis of Multiplicative Exponential Linear Logic. In Proceedings of MFCS'09, volume 5734 of Lecture Notes in Computer Science, pages 344 -- 355. Springer, 2009. DOI:10.1007/978-3-642-03816-7, ISBN:978-3-642-03815-0. [ bib | DOI | © Springer-Verlag | .pdf ]

Ugo Dal Lago, Simone Martini, and Luca Roversi. Higher-order linear ramified recurrence. In Proceedings of TYPES'04, volume 3085 of Lecture Notes in Computer Science, pages 178 -- 193. Springer Verlag, December 2004. [ bib | © Springer-Verlag | .pdf ]

Simona Ronchi Della Rocca and Luca Roversi. Intersection Logic. In Proceedings of CSL'01, volume 2142 of Lecture Notes in Computer Science, pages 414--428. Springer Verlag, 2001. [ bib | © Springer-Verlag | .pdf ]

Luca Roversi. A P-Time Completeness Proof for Light Logics. In Ninth Annual Conference of the EACSL (CSL'99), volume 1683 of Lecture Notes in Computer Science, pages 469 -- 483, Madrid (Spain), September 1999. Springer-Verlag. [ bib | © Springer-Verlag | .pdf ]

Luca Roversi. A Polymorphic Language which is Typable and Poly-step. In Proceedings of the Asian Computing Science Conference (ASIAN'98), volume 1538 of Lecture Notes in Computer Science, pages 43 -- 60, Manila (The Philippines), December 1998. Springer Verlag. [ bib | © Springer-Verlag | .pdf ]

Luca Roversi. Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment. In Sixth Italian Conference on Theoretical Computer Science (ICTCS'98), pages 24 -- 36, Prato (Italy), November 1998. World Scientific. [ bib ]

Luca Roversi. A Type-Free Resource-Aware λ-Calculus. In Fifth Annual Conference of the EACSL (CSL'96), volume 1258 of Lecture Notes in Computer Science, pages 399 -- 413, Utrecht (The Nederland), September 1996. Springer-Verlag. [ bib | © Springer-Verlag ]

Alberto Pravato and Luca Roversi. λ! considered both as a paradigmatic language and as a meta-language. In Fifth Italian Conference on Theoretical Computer Science, Salerno (Italy), 1995. [ bib ]

Alberto Pravato, Simona Ronchi della Rocca, and Luca Roversi. Categorical semantics of the call-by-value lambda calculus. In Proc. of TLCA'95, Second International Symposium on Typed Lambda Calculus and Applications, volume 902 of Lecture Notes in Computer Science, pages 381--396, Edinburgh (UK), 1995. Springer-Verlag. [ bib | © Springer-Verlag ]

Luca Roversi. A compiler from Curry-typed λ-terms to linear-λ-terms. In Theoretical Computer Science: Proceedings of the Fourth Italian Conference, pages 330 -- 344, L'Aquila (Italy), October 1992. World Scientific. [ bib ]

Workshops/National conferences

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

Guest editor

Antonio Restivo, Simona Ronchi Della Rocca, and Luca Roversi, editors. Theoretical Computer Science - 7th Italian Conference (ICTCS 2001), volume 2202 of Lecture Notes in Computer Science. Springer Verlag, October 2001. [ bib | © Springer-Verlag | http ]

PhD Thesis

Luca Roversi. Semantics of lambda-calculi designed from Intuitionistic linear logic. PhD thesis, Dipartimento di Informatica, Università di Pisa, C.so Italia 40 -- 56125 Pisa -- Italy, February 1995. [ bib | .pdf ]

APPLICATIVE SUBJECTS

Paola Bonfante, Francesca Cordero, Stefano Ghignone, Dino Ienco, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi, and Alessia Visconti. A Modular Database Architecture Enabled to Comparative Sequence Analysis. LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, 6990:124 - 147, 2011. [ bib | DOI | .pdf ]

Cordero, Francesca and Ghignone, Stefano and Lanfranco, Luisa and Leonardi, Giorgio and Meo, Rosa and Montani, Stefania and Roversi, Luca. BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse, volume Database Technology for Life Sciences and Medicine of Science, Engineering, and Biology Informatics, chapter 7, pages 139 - 155. World Scientific Publishing Company, Singapore, 2010. [ bib | .pdf ]

Matteo Baldoni, Cristina Baroglio, Claudio Grandi, and Luca Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294 - 295, Genova, July 2005. ECIG Edizioni Culturali Internazionali Genova. [ bib | .html ]

Matteo Baldoni, Cristina Baroglio, S. De Marchis, Barbara Demo, Alberto Martelli, Isabelle Perroteau, and Luca Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Settembre 2005. [ bib ]

Krastio Atanassov and Luca Roversi. Oracle 8i on Linux RH7.X Installation HOWTO. Dipartimento di Informatica - Università di Torino, 2002. Linux Domcumentation Project (http://tldp.org/HOWTO/Oracle8-on-RH7X-HOWTO.html). [ bib ]