ROVERSI, Luca
ROVERSI, Luca
INFORMATICA
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
Higer-Order Linear Ramified Recurrence
2004-01-01 U. DAL LAGO; MARTINI; L. ROVERSI