Sfoglia per Autore
Certifying expressive power and algorithms of reversible primitive permutations with Lean
2024-01-01 Giacomo Maletto; Luca Roversi
"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
UN ASSETTO MOODLE PER L’ESAME ONLINE DI UN CORSO DI PROGRAMMAZIONE
2022-01-01 Felice Cardone, Sergio Rabellino, Luca Roversi
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean
2022-01-01 Giacomo Maletto; Luca Roversi
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
2021-01-01 Armando Matos; Paolini Luca; Roversi Luca
A type-assignment of linear erasure and duplication
2020-01-01 Luca Roversi, Gianluca Curzi
The fixed point problem of a simple reversible language
2020-01-01 Armando Matos, Luca Paolini, Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete
2020-01-01 Paolini L.; Piccolo M.; Roversi L.
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
A certified study of a reversible programming language
2018-01-01 Luca Paolini; Mauro Piccolo; Luca Roversi
The fixed point problem for general and for linear SRL programs is undecidable
2018-01-01 Matos, Armando B.; Paolini, Luca; Roversi, Luca
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
2018-01-01 Luca Paolini, Mauro Piccolo , Luca Roversi
A Class of Reversible Primitive Recursive Functions
2016-01-01 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
Light combinators for finite fields arithmetic
2015-01-01 Canavese, D.; Cesena, E.; Ouchary, R.; Pedicini, M.; Roversi, L.
A deep inference system with a self-dual binder which is complete for linear lambda calculus
2014-01-01 L. Roversi
Typing a Core Binary-Field Arithmetic in a Light Logic
2012-01-01 Emanuele Cesena; Marco Pedicini; Luca Roversi
Intersection types from a proof theoretic perspective
2012-01-01 E. Pimentel; L. Roversi; S. Ronchi Della Rocca
Communication, and concurrency with logic-based restriction inside a calculus of structures
2012-01-01 L. Roversi
MR2561968 (2011d:03062) Jones, Neil D.; Kristiansen, Lars A flow calculus of mwp-bounds for complexity analysis. ACM Trans. Comput. Log. 10 (2009), no. 4, Art. 28, 41 pp. (Reviewer: Luca Roversi), 03D15 (03B40)
2011-01-01 Luca Roversi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile