Dipartimento di Informatica

Prodotti della ricerca selezionati

Armando Matos, Luca Paolini, Luca Roversi (2020)
The fixed point problem of a simple reversible language.
https://iris.unito.it/handle/2318/1734164

Paolini L , Piccolo M , Roversi L (2020)
A class of Recursive Permutations which is Primitive Recursive complete.
https://iris.unito.it/handle/2318/1734163

Paolini, Luca, Roversi, Luca, Zorzi, Margherita (2019)
Quantum programming made easy.
https://iris.unito.it/handle/2318/1703918

Luca Paolini, Mauro Piccolo, Luca Roversi (2018)
A certified study of a reversible programming language.
https://iris.unito.it/handle/2318/99058

Matos, Armando B , Paolini, Luca, Roversi, Luca (2018)
The fixed point problem for general and for linear SRL programs is undecidable.
https://iris.unito.it/handle/2318/1683911

Luca Paolini, Mauro Piccolo , Luca Roversi (2018)
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions.
https://iris.unito.it/handle/2318/1677880

Paolini, Luca, Piccolo, Mauro, Roversi, Luca (2016)
A Class of Reversible Primitive Recursive Functions.
https://iris.unito.it/handle/2318/1558982

Canavese, D , Cesena, E , Ouchary, R , Pedicini, M , Roversi, L (2015)
Light combinators for finite fields arithmetic.
https://iris.unito.it/handle/2318/1526049

L Roversi (2014)
A deep inference system with a self-dual binder which is complete for linear lambda calculus.
https://iris.unito.it/handle/2318/151481

L Roversi (2012)
Communication, and concurrency with logic-based restriction inside a calculus of structures.
https://iris.unito.it/handle/2318/147814

E Pimentel, L Roversi, S Ronchi Della Rocca (2012)
Intersection types from a proof theoretic perspective.
https://iris.unito.it/handle/2318/126871

Emanuele Cesena, Marco Pedicini, Luca Roversi (2012)
Typing a Core Binary-Field Arithmetic in a Light Logic.
https://iris.unito.it/handle/2318/101493

Luca Roversi (2011)
MR2561968 (2011d:03062) Jones, Neil D.; Kristiansen, Lars A flow calculus of mwp-bounds for complexity analysis. ACM Trans. Comput. Log. 10 (2009), no. 4, Art. 28, 41 pp. (Reviewer: Luca Roversi), 03D15 (03B40).
https://iris.unito.it/handle/2318/147812

Luca Roversi (2011)
MR2588403 (2011b:03087) Baillot, Patrick; Mazza, Damiano Linear logic by levels and bounded time complexity. Theoret. Comput. Sci. 411 (2010), no. 2, 470–503. (Reviewer: Luca Roversi), 03F52 (03D15).
https://iris.unito.it/handle/2318/147813

Luca Roversi (2011)
MR2642827 (2011h:68021) Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel's system T revisited. Theoret. Comput. Sci. 411 (2010), no. 11-13, 1484–1500. (Reviewer: Luca Roversi), 68N18 (03B15 03B40).
https://iris.unito.it/handle/2318/147811

P Bonfante, F Cordero, S Ghignone, D Ienco, L Lanfranco, G Leonardi, R Meo, S Montani, L Roversi, A Visconti (2011)
A modular database architecture enabled to comparative sequence analysis.
https://iris.unito.it/handle/2318/91448

Luca Roversi (2011)
Linear Lambda Calculus and Deep Inference.
https://iris.unito.it/handle/2318/92530

Luca Roversi, Luca Vercelli (2010)
A local criterion for polynomial-time stratified computations.
https://iris.unito.it/handle/2318/85119

Francesca Cordero, Stefano Ghignone, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi (2010)
BIOBITS: A Study on Candidatus Glomeribacter Gigasporarum with a Data Warehouse.
https://iris.unito.it/handle/2318/81397

Luca Roversi, Luca Vercelli (2010)
Safe Recursion on Notation into a Light Logic by Levels.
https://iris.unito.it/handle/2318/131262

Ugo Dal Lago, Luca Roversi, Luca Vercelli (2009)
Taming Modal Impredicativity: Superlazy Reduction.
https://iris.unito.it/handle/2318/84359

Luca Roversi, Luca Vercelli (2009)
Some Complexity and Expressiveness results on Multimodal andStratified Proof-nets.
https://iris.unito.it/handle/2318/101465

Marco Gaboardi, Luca Roversi, Luca Vercelli (2009)
A by-level analysis of Multiplicative Exponential Linear Logic.
https://iris.unito.it/handle/2318/86918

Matteo Baldoni, Cristina Baroglio, Claudio Grandi, Luca Roversi (2007)
Live! I-Learn @ Home, versione 2007.
https://iris.unito.it/handle/2318/85657

Luca Roversi (2007)
MR2294201 (2007j:03080) Tortora de Falco, Lorenzo On the logical structure of calculus. (Italian) Rend. Mat. Appl. (7) 26 (2006), no. 3-4, 367–404. (Reviewer: Luca Roversi), 03F07 (03B70 03F03 03F05 03F52).
https://iris.unito.it/handle/2318/97370

M Baldoni, C Baroglio, C Grandi, C Mattutino, L Roversi (2007)
CD_ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn @ Home.
https://iris.unito.it/handle/2318/49924

Luca Roversi (2005)
MR2071847 (2005e:03139) Terui, Kazushige Light affine set theory: a naive set theory of polynomial time. (English summary) Studia Logica 77 (2004), no. 1, 9--40.
https://iris.unito.it/handle/2318/65531

M Baldoni, C Baroglio, C Grandi, L Roversi (2005)
Live! I-Learn @ Home.
https://iris.unito.it/handle/2318/28808

Luca Roversi (2005)
MR2075335 (2005f:03094) Murawski, A. S.(4-OX-C); Ong, C.-H. L.(4-OX-C)On an interpretation of safe recursion in light affine logic. (English summary) Theoret. Comput. Sci. 318 (2004), no. 1-2, 197--223.
https://iris.unito.it/handle/2318/66351

Luca Roversi (2004)
MR1989176 (2004g:03037) Danos, Vincent(F-CNRS); Joinet, Jean-Baptiste(F-PARIS1) Linear logic and elementary time. (English summary) Special issue: ICC'99 (Trento). Inform. and Comput. 183 (2003), no. 1, 123--137.
https://iris.unito.it/handle/2318/65622

Luca Roversi (2004)
MR2029600 (2004k:68053) Oitavem, Isabel(P-LISB-CM) Characterizing NC with tier 0 pointers. (English summary) MLQ Math. Log. Q. 50 (2004), no. 1, 9--17.
https://iris.unito.it/handle/2318/65948

U DAL LAGO, MARTINI, L ROVERSI (2004)
Higer-Order Linear Ramified Recurrence.
https://iris.unito.it/handle/2318/23065

ASPERTI, L ROVERSI (2002)
Intuitionistic light affine logic.
https://iris.unito.it/handle/2318/23062

RESTIVO A , RONCHI DELLA ROCCA S , ROVERSI L (2001)
Theoretical Computer Science7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings(LNCS).
https://iris.unito.it/handle/2318/63802

S RONCHI DELLA ROCCA, L ROVERSI (2001)
Intersection Logic.
https://iris.unito.it/handle/2318/23066

S RONCHI DELLA ROCCA, ROVERSI L (2001)
Intersection Logic.
https://iris.unito.it/handle/2318/9568

L ROVERSI (2000)
Light Affine Logic as a Programming Language: a First Contribution.
https://iris.unito.it/handle/2318/23063

L ROVERSI (1999)
A P-Time Completeness Proof for Light Logics.
https://iris.unito.it/handle/2318/23067

PRAVATO, S RONCHI DELLA ROCCA, L ROVERSI (1999)
The call by value Lambda-calculus: a semantic investigation.
https://iris.unito.it/handle/2318/23064

L ROVERSI (1998)
A Polymorphic Language which is Typable and Poly-step.
https://iris.unito.it/handle/2318/23068

L ROVERSI (1998)
Concrete Syntax for Intuitionistic Light Affine Logic with Polymorphic Type Assignment.
https://iris.unito.it/handle/2318/43243

S RONCHI DELLA ROCCA, L ROVERSI (1997)
Lambda Calculus and Intuitionistic Linear Logic.
https://iris.unito.it/handle/2318/41226

L ROVERSI (1996)
A Type-Free Resource-Aware Lambda-Calculus.
https://iris.unito.it/handle/2318/23069

PRAVATO A , S RONCHI DELLA ROCCA, ROVERSI L (1995)
Categorical semantics of the call-by-value lambda calculus.
https://iris.unito.it/handle/2318/40602

Insegnamenti

• Algoritmi e Complessità (INF0097)
  Corso di laurea magistrale in Informatica
• Linguaggi e Paradigmi di Programmazione (MFN0610)
  Corso di laurea in Informatica
• Programmazione I (MFN0582)
  Corso di laurea in Informatica
• Quantum computing (QC2023)
  PhD in Computer Science

Gruppi di ricerca

• Logical Foundations of Computation (Logic)

• Fondazioni logiche della computazione

Organi

• Consiglio di Dipartimento

• Commissione Borse art. 76
• Commissione Monitoraggio e Riesame LT (ex Gruppo del Riesame L31, ex sottogruppo Riesame LT - maggio 2017 Commissione Monitoraggio e Riesame)
• Consiglio di corso di Laurea e Laurea Magistrale in Informatica

Ricevimento studenti