Luca Roversi

Cited by

	All	Since 2017
Citations	766	188
h-index	14	9
i10-index	20	9

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120225 6 4 8 9 16 23 26 22 34 28 31 46 46 36 41 37 32 10 10 53 11 18 39 29 51 23 25

Co-authors

Luca PaoliniAssociate Professor,Universita di TorinoVerified email at di.unito.it
aspertiUniversity of BolognaVerified email at cs.unibo.it
Elaine PimentelUniversity College LondonVerified email at ucl.ac.uk
Emanuele CesenaPolitecnico di TorinoVerified email at polito.it
Ugo Dal LagoProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Cristina BaroglioProfessore associato di Informatica, Università degli Studi di Torino, Dipartimento di InformaticaVerified email at unito.it
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaVerified email at di.unito.it
Marco PediciniAssociate Professor in Computer Science, Roma Tre UniversityVerified email at uniroma3.it
Rosa MeoProfessor of Computer Science, University of Torino, ItalyVerified email at di.unito.it
Stefania MontaniFull Professor, University of Piemonte OrientaleVerified email at uniupo.it
Francesca CorderoResearcher, University of Torino, ItalyVerified email at di.unito.it
Giorgio LeonardiRicercatore, Università del Piemonte OrientaleVerified email at uniupo.it
Margherita ZorziUniversità degli Studi di VeronaVerified email at univr.it
Marco GaboardiBoston UniversityVerified email at bu.edu
Daniele CanavesePolitecnico di TorinoVerified email at polito.it

Luca Roversi

Professor of Computer Science, Università di Torino

Verified email at di.unito.it - Homepage

Theoretical Computer Science (Unconvetional) Computational Models Structural Proof Theory Computational Complexity


Title Sort by citations Sort by year Sort by 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	151	2002
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	130	1998
Lambda calculus and intuitionistic linear logic SR Della Rocca, L Roversi Studia Logica 59 (3), 417-448, 1997	51	1997
A P-time completeness proof for light logics L Roversi International Workshop on Computer Science Logic, 469-483, 1999	48	1999
Intersection logic SRD Rocca, L Roversi International Workshop on Computer Science Logic, 414-429, 2001	37	2001
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	35	1999
Intersection Types from a proof-theoretic perspective E Pimentel, S Ronchi Della Rocca, L Roversi Fundamenta Informaticae 121 (1-4), 253-274, 2012	22	2012
A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi Electronic Notes in Theoretical Computer Science 322, 227-242, 2016	19	2016
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	16	2018
A polymorphic language which is typable and poly-step L Roversi Annual Asian Computing Science Conference, 43-60, 1998	16	1998
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	15	2003
Light affine logic as a programming language: a first contribution L Roversi International Journal of Foundations of Computer Science 11 (01), 113-152, 2000	15	2000
Intersection types: a proof-theoretical approach E Pimentel, SR Della Rocca, L Roversi Fakultät Informatik, 189, 2005	14	2005
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	13	2016
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	13	2008
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	11	2018
Quantum programming made easy L Paolini, L Roversi, M Zorzi arXiv preprint arXiv:1711.00774, 2017	11	2017
Safe recursion on notation into a light logic by levels L Roversi, L Vercelli arXiv preprint arXiv:1005.0522, 2010	11	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	10	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors