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 Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A local criterion for polynomial-time stratified computations
2010-01-01 Luca Roversi ; Luca Vercelli
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-Free Resource-Aware Lambda-Calculus
1996-01-01 L. ROVERSI
Categorical semantics of the call-by-value lambda calculus
1995-01-01 PRAVATO A.; S. RONCHI DELLA ROCCA; ROVERSI L.
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean
2022-01-01 Giacomo Maletto; Luca Roversi
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment
1998-01-01 L. ROVERSI
Higer-Order Linear Ramified Recurrence
2004-01-01 U. DAL LAGO; MARTINI; L. ROVERSI
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; L. ROVERSI
Intersection Logic
2001-01-01 S. RONCHI DELLA ROCCA; ROVERSI L.
Linear Lambda Calculus and Deep Inference
2011-01-01 Luca Roversi
Live! I-Learn @ Home
2005-01-01 M. Baldoni; C. Baroglio; C. Grandi; L. Roversi
On the Expressivity of Total Reversible Programming Languages
2020-01-01 Matos A.B.; Paolini L.; Roversi L.
Quantum programming made easy
2019-01-01 Paolini, Luca; Roversi, Luca; Zorzi, Margherita
Safe Recursion on Notation into a Light Logic by Levels
2010-01-01 Luca Roversi ; Luca Vercelli
Some Complexity and Expressiveness results on Multimodal andStratified Proof-nets
2009-01-01 Luca Roversi; Luca Vercelli
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
2021-01-01 Armando Matos; Paolini Luca; Roversi Luca