Luca Paolini
Title
Cited by
Cited by
Year
The Parametric λ-Calculus
SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
1182004
The Parametric λ-Calculus
SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
1182004
Call-by-value Solvability
L Paolini, SR Della Rocca
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
531999
Call-by-value solvability, revisited
B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
412012
A stable programming language
L Paolini
Information and Computation 204 (3), 339-375, 2006
342006
Essential and relational models
L Paolini, M Piccolo, SR Della Rocca
Mathematical Structures in Computer Science 27 (5), 626-650, 2017
322017
Bounding normalization time through intersection types
E De Benedetti, SR Della Rocca
arXiv preprint arXiv:1307.8205, 2013
302013
Call-by-value separability and computability
L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
282001
Parametric parameter passing λ-calculus
L Paolini, SR Della Rocca
Information and Computation 189 (1), 87-106, 2004
272004
A class of reversible primitive recursive functions
L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
172016
Lazy strong normalization
L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
162005
Standardization and conservativity of a refined call-by-value lambda-calculus
G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
142016
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
142015
Syntactical, operational and denotational linearity
MG Gaboardi, LL Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
142007
A formal model for multi SPLs
F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
132017
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
122018
Semantically linear programming languages
L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
122008
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
112015
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
102017
The parametric lambda-calculus. Texts in Theoretical Computer Science: An EATCS Series
SR Della Rocca, L Paolini
Springer-Verlag, 2004
102004
The system can't perform the operation now. Try again later.
Articles 1–20