Concepedia

Author

Luca Roversi

University of TurinORCID

Also Known As

Emanuele, Carlini, L. Roversi, LUCA ROVERSI, Luca Roversi, Roversi, Luca

67

Publications

472

Citations

10

H-Index

18

Concepts

All Affiliations

University of Turin
LR

About

Luca Roversi is an author at University of Turin specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

167

2

Computer Science

4

4

151

3

Mathematical Foundations

2

2

33

4

Language Studies

1

1

16

5

Linguistics

1

1

16

Luca Roversi

×

7

Publications

212

Citations

7

H-Index

YearCitations

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi

ACM Transactions on Computational Logic

2002

103

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi Della Rocca, Luca Roversi

Studia Logica

1997

32

A Class of Reversible Primitive Recursive Functions

Luca Paolini, Mauro Piccolo, Luca Roversi

Electronic Notes in Theoretical Computer Science

2016

17

On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions

Luca Paolini, Mauro Piccolo, Luca Roversi

New Generation Computing

2018

17

The call-by-value λ-calculus: a semantic investigation

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi

Mathematical Structures in Computer Science

1999

16

Intersection Types from a Proof-theoretic Perspective

Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi

Fundamenta Informaticae

2012

14

A class of Recursive Permutations which is Primitive Recursive complete

Luca Paolini, Mauro Piccolo, Luca Roversi

Theoretical Computer Science

2019

13

Page 1