Follow
Luca Roversi
Title
Cited by
Cited by
Year
Intuitionistic light affine logic
A Asperti, L Roversi
ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002
1512002
Light affine logic
A Asperti
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Scienceá…, 1998
1301998
Lambda calculus and intuitionistic linear logic
SR Della Rocca, L Roversi
Studia Logica 59 (3), 417-448, 1997
511997
A P-time completeness proof for light logics
L Roversi
International Workshop on Computer Science Logic, 469-483, 1999
481999
Intersection logic
SRD Rocca, L Roversi
International Workshop on Computer Science Logic, 414-429, 2001
372001
The call-by-value λ-calculus: a semantic investigation
A Pravato, SR Della Rocca, L Roversi
Mathematical structures in computer science 9 (05), 617-650, 1999
351999
Intersection Types from a proof-theoretic perspective
E Pimentel, S Ronchi Della Rocca, L Roversi
Fundamenta Informaticae 121 (1-4), 253-274, 2012
222012
A class of reversible primitive recursive functions
L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
192016
On a class of reversible primitive recursive functions and its turing-complete extensions
L Paolini, M Piccolo, L Roversi
New Generation Computing 36 (3), 233-256, 2018
162018
A polymorphic language which is typable and poly-step
L Roversi
Annual Asian Computing Science Conference, 43-60, 1998
161998
Linear lambda calculus and deep inference
L Roversi
Typed Lambda Calculi and Applications, 184-197, 2011
15*2011
Higher-order linear ramified recurrence
UD Lago, S Martini, L Roversi
International Workshop on Types for Proofs and Programs, 178-193, 2003
152003
Light affine logic as a programming language: a first contribution
L Roversi
International Journal of Foundations of Computer Science 11 (01), 113-152, 2000
152000
Intersection types: a proof-theoretical approach
E Pimentel, SR Della Rocca, L Roversi
Fakultńt Informatik, 189, 2005
142005
A deep inference system with a self-dual binder which is complete for linear lambda calculus
L Roversi
Journal of Logic and Computation 26 (2), 677-698, 2016
132016
Some complexity and expressiveness results on multimodal and stratified proof nets
L Roversi, L Vercelli
International Workshop on Types for Proofs and Programs, 306-322, 2008
132008
A certified study of a reversible programming language
L Paolini, M Piccolo, L Roversi
21st International Conference on Types for Proofs and Programs (TYPES 2015), 2018
112018
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
112017
Safe recursion on notation into a light logic by levels
L Roversi, L Vercelli
arXiv preprint arXiv:1005.0522, 2010
112010
A by-level analysis of multiplicative exponential linear logic
M Gaboardi, L Roversi, L Vercelli
International Symposium on Mathematical Foundations of Computer Science, 344-355, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20