Publications

titolo vuoto

THEORETICAL SUBJECTS

Techrep/unpublished works

Roversi Luca. Communication, and concurrency with logic-based restriction inside a calculus of structures. CoRR, abs/1212.4669, 2012. [ bib ]

Journals

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 ]

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 ]

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

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 ]

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 ]

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 ]

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 ]

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 2412 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. 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, 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 ]

Workshops/National conferences

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 ]

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 ]

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 ]

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 ]

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 ]