The Parametric λ-Calculus SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
112 2004 The Parametric λ-Calculus SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
112 2004 Call-by-value Solvability L Paolini, SR Della Rocca
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
49 1999 Call-by-value solvability, revisited B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
37 2012 A stable programming language L Paolini
Information and Computation 204 (3), 339-375, 2006
33 2006 Essential and relational models L Paolini, M Piccolo, SR Della Rocca
Mathematical Structures in Computer Science 27 (5), 626, 2017
32 2017 Bounding normalization time through intersection types E De Benedetti, SR Della Rocca
arXiv preprint arXiv:1307.8205, 2013
29 2013 Parametric parameter passing λ-calculus L Paolini, SR Della Rocca
Information and Computation 189 (1), 87-106, 2004
27 2004 Call-by-value separability and computability L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
26 2001 A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
18 2016 Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
16 2005 Standardization of a call-by-value lambda-calculus G Guerrieri, L Paolini, S Ronchi Della Rocca
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
14 2015 Syntactical, operational and denotational linearity MG Gaboardi, LL Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
14 2007 A formal model for multi SPLs F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
13 2017 Semantically linear programming languages L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
12 2008 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
11 2018 From featured transition systems to modal transition systems with variability constraints MH Ter Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini
SEFM 2015 Collocated Workshops, 344-359, 2015
11 2015 L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
10 2017 Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
10 2016 The parametric lambda-calculus. Texts in Theoretical Computer Science: An EATCS Series SR Della Rocca, L Paolini
Springer-Verlag, 2004
10 2004 
Luca RoversiProfessor of Computer Science, Università di TorinoVahvistettu sähköpostiosoite verkkotunnuksessa di.unito.it
