Luca Paolini
Titel
Zitiert von
Zitiert von
Jahr
The Parametric λ-Calculus
SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
1142004
The Parametric λ-Calculus
SR Della Rocca, L Paolini
The Parametric Lambda Calculus, 3-23, 2004
1142004
Call-by-value Solvability
L Paolini
Rairo-theoretical informatics and applications 33 (6), 507-534, 1999
511999
Call-by-value solvability, revisited
B Accattoli, L Paolini
International Symposium on Functional and Logic Programming, 4-16, 2012
372012
A stable programming language
L Paolini
Information and Computation 204 (3), 339-375, 2006
332006
Essential and relational models
L Paolini, M Piccolo, SR Della Rocca
Mathematical Structures in Computer Science 27 (5), 626, 2017
302017
Bounding normalization time through intersection types
E De Benedetti, SR Della Rocca
arXiv preprint arXiv:1307.8205, 2013
292013
Parametric parameter passing λ-calculus
L Paolini, SR Della Rocca
Information and Computation 189 (1), 87-106, 2004
272004
Call-by-value separability and computability
L Paolini
Italian Conference on Theoretical Computer Science, 74-89, 2001
252001
A class of reversible primitive recursive functions
L Paolini, M Piccolo, L Roversi
Electronic Notes in Theoretical Computer Science 322, 227-242, 2016
162016
Lazy strong normalization
L Paolini, E Pimentel, SR Della Rocca
Electronic Notes in Theoretical Computer Science 136, 103-116, 2005
162005
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
132015
Syntactical, operational and denotational linearity
MG Gaboardi, L Paolini
Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007
132007
A formal model for multi SPLs
F Damiani, M Lienhardt, L Paolini
International Conference on Fundamentals of Software Engineering, 67-83, 2017
122017
Standardization and conservativity of a refined call-by-value lambda-calculus
G Guerrieri, L Paolini, SR Della Rocca
arXiv preprint arXiv:1611.07255, 2016
112016
Semantically linear programming languages
L Paolini, M Piccolo
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
112008
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
102018
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
102017
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
102015
Isomorphism of intersection and union types
M Coppo, M Dezani-Ciancaglini, I Margaria, M Zacchi
Mathematical Structures in Computer Science 27 (5), 603-625, 2017
92017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20