ROVERSI, Luca
ROVERSI, Luca
INFORMATICA
"Termination of Rewriting on Reversible Boolean Circuits as a free 3-Category problem" Adriano Barile, Stefano Berardi and Luca Roversi ICTCS 2023 24th Italian Conference on Theoretical Computer Science 2023, Manuela Flore, Giuseppe Romana Editors CEUR Workshop Proceedings
2023-01-01 Adriano Barile, Stefano Berardi, Luca Roversi
A by-level analysis of Multiplicative Exponential Linear Logic
2009-01-01 Marco Gaboardi; Luca Roversi; Luca Vercelli
A certified study of a reversible programming language
2018-01-01 Luca Paolini; Mauro Piccolo; Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete
2020-01-01 Paolini L.; Piccolo M.; Roversi L.
A Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A deep inference system with a self-dual binder which is complete for linear lambda calculus
2014-01-01 L. Roversi
A local criterion for polynomial-time stratified computations
2010-01-01 Luca Roversi ; Luca Vercelli
A modular database architecture enabled to comparative sequence analysis
2011-01-01 P. Bonfante; F. Cordero; S. Ghignone; D. Ienco; L. Lanfranco; G. Leonardi; R. Meo; S. Montani; L. Roversi; A. Visconti
A P-Time Completeness Proof for Light Logics
1999-01-01 L. ROVERSI
A Polymorphic Language which is Typable and Poly-step
1998-01-01 L. ROVERSI
A type-assignment of linear erasure and duplication
2020-01-01 Luca Roversi, Gianluca Curzi
A Type-Free Resource-Aware Lambda-Calculus
1996-01-01 L. ROVERSI
Algorithmically Expressive, Always-Terminating Model for Reversible Computation
2024-01-01 Matteo Palazzo, Luca Roversi
BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse
2010-01-01 Francesca Cordero; Stefano Ghignone; Luisa Lanfranco; Giorgio Leonardi; Rosa Meo; Stefania Montani; Luca Roversi
Categorical semantics of the call-by-value lambda calculus
1995-01-01 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
CD_ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn @ Home
2007-01-01 M. Baldoni; C. Baroglio; C. Grandi; C. Mattutino; L. Roversi
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean
2022-01-01 Giacomo Maletto; Luca Roversi
Certifying expressive power and algorithms of reversible primitive permutations with Lean
2024-01-01 Giacomo Maletto; Luca Roversi
Communication, and concurrency with logic-based restriction inside a calculus of structures
2012-01-01 L. Roversi
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment
1998-01-01 L. ROVERSI