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
1462002
Light affine logic
A Asperti
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
1291998
Lambda calculus and intuitionistic linear logic
SR Della Rocca, L Roversi
Studia Logica 59 (3), 417-448, 1997
481997
A P-time completeness proof for light logics
L Roversi
International Workshop on Computer Science Logic, 469-483, 1999
441999
Intersection logic
SR Della Rocca, L Roversi
International Workshop on Computer Science Logic, 414-429, 2001
352001
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
311999
Intersection Types from a proof-theoretic perspective
E Pimentel, S Ronchi Della Rocca, L Roversi
Fundamenta Informaticae 121 (1-4), 253-274, 2012
212012
A class of reversible primitive recursive functions
L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
172016
Linear lambda calculus and deep inference
L Roversi
Typed Lambda Calculi and Applications, 184-197, 2011
16*2011
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
A polymorphic language which is typable and poly-step
L Roversi
Annual Asian Computing Science Conference, 43-60, 1998
151998
Intersection types: a proof-theoretical approach
E Pimentel, SR Della Rocca, L Roversi
Fakultät Informatik, 189, 2005
142005
Higher-order linear ramified recurrence
U Dal Lago, S Martini, L Roversi
International Workshop on Types for Proofs and Programs, 178-193, 2003
142003
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
122008
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
112018
Safe recursion on notation into a light logic by levels
L Roversi, L Vercelli
arXiv preprint arXiv:1005.0522, 2010
92010
Categorical semantics of the call-by-value λ-calculus
A Pravato, SR Della Rocca, L Roversi
International Conference on Typed Lambda Calculi and Applications, 381-396, 1995
81995
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
72018
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20