Concepedia

Luca Roversi

LR

7

Publications

212

Citations

7

H-Index

1997

Active since

Affiliations

University of Turin(Current)

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

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLogic ProgrammingCircuit ComplexityFormal VerificationMathematical FoundationsLanguageSemantics

Publications per year

1997–2019

7

Publications

7

Intuitionistic Light Affine Logic

Andrea Asperti, Luca Roversi · ACM Transactions on Computational Logic · 2002 · 103 citations

Mathematical Programming, Ilal Derivations, Applied Logic +14

Lambda Calculus and Intuitionistic Linear Logic

Simona Ronchi Della Rocca, Luca Roversi · Studia Logica · 1997 · 32 citations

A Class of Reversible Primitive Recursive Functions

Luca Paolini, Mauro Piccolo, Luca Roversi · Electronic Notes in Theoretical Computer Science · 2016 · 17 citations · Full text

Circuit Complexity, Theory Of Computing, Engineering +11

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

Luca Paolini, Mauro Piccolo, Luca Roversi · New Generation Computing · 2018 · 17 citations · Full text

Circuit Complexity, Engineering, Computational Model Theory +6

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

Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi · Mathematical Structures in Computer Science · 1999 · 16 citations

Formal Semantics, Categorical Approach, Engineering +14

Rows per page

1–5 of 7