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
1452002
Light affine logic
A Asperti
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Scienceá…, 1998
1271998
Lambda calculus and intuitionistic linear logic
SR Della Rocca, L Roversi
Studia Logica 59 (3), 417-448, 1997
471997
A P-time completeness proof for light logics
L Roversi
International Workshop on Computer Science Logic, 469-483, 1999
451999
Intersection logic
SR Della 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
321999
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
172016
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
U Dal 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
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
102018
Safe recursion on notation into a light logic by levels
L Roversi, L Vercelli
arXiv preprint arXiv:1005.0522, 2010
102010
A local criterion for polynomial-time stratified computations
L Roversi, L Vercelli
Foundational and Practical Aspects of Resource Analysis, 114-130, 2010
8*2010
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
82009
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
The system can't perform the operation now. Try again later.
Articles 1–20