Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Luca Paolini
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
Damiani, Lienhardt and Paolini" A Formal Model for Multi SPLs "
In proceedings: Lecture Notes in Computer Science.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article: Logical Methods in Computer Science.
Paolini, Piccolo and Roversi"A certified study of a reversible programming language"
In proceedings: LIPIcs.
Paolini, Piccolo and Luca"A class of Recursive Permutations which is Primitive Recursive complete"
Technical report.
Paolini, Piccolo and Zorzi"QPCF: higher order languages and quantum circuits"
Technical report.
Paolini and Zorzi"qPCF: a language for quantum circuit computations"
In proceedings: Lecture Notes in Computer Science.

2016
Gaboardi, Paolini and Piccolo"On the reification of semantic linearity"
Article: Mathematical Structures in Computer Science.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article: Electronic Notes in Theoretical Computer Science.

2015
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"From Featured Transition Systems to Modal Transition Systems with Variability Constraints"
In proceedings: LNCS.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization for a Call-by-Value Lambda-Calculus"
In proceedings: LIPIcs.
Paolini, Piccolo and Roversi"Big and Small-step Operational Semantics of the Reversible Programming Language Janus"
Technical report.
Paolini, Piccolo and Ronchi Della Rocca"Essential and relational models"
Article: Mathematical Structures in Computer Science.

2013
Graham-Lengrand and Paolini"Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012"
Conference proceedings.
Paolini"Foundational principles of reversible and quantum computing: Quantum Computing"
Unpublished.

2012
Accattoli and Paolini"Call-by-Value Solvability, Revisited"
In proceedings: LNCS.
Ghilezan and Paolini"Revised Papers of the Conference "Intersection Types and Related Systems", Torino, Italia, 2008"
Conference proceedings: Fundamenta Informaticæ Special Issue .

2011
Gaboardi, Paolini and Piccolo"Linearity and PCF: a semantic insight!"
In proceedings: ICFP 2011.
Paolini, Pimentel and Ronchi Della Rocca"Strong Normalization from an unusual point of view"
Article: Theoretical Computer Science.

2010
Baillot, Curien and Paolini"Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009", Brasilia, Brazil, 2009"
Conference proceedings: LMCS Special Issue .

2009
Paolini and Piccolo"A Process-Model for Linear Programs"
In proceedings.
Paolini"Call-by-value lambda-calculus"
Unpublished.
Paolini, Piccolo and Ronchi Della Rocca"Logical Semantics for Stability"
In proceedings: MFPS 2009.
Paolini"Parametric Lambda Calculus. A meta-calculus for computation"
Unpublished.

2008
Paolini and Piccolo"Linear Programming Languages"
Unpublished.
Paolini"Parametric λ-Theories"
Article: Theoretical Computer Science.
Paolini and Piccolo"Semantically Linear Programming Languages"
In proceedings: PPDP 2008.

2007
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Paolini"Denotational Paradigms"
Unpublished.

2006
Paolini"A Stable Programming Language"
Article: Information and Computation.
Paolini, Pimentel and Ronchi Della Rocca"An Operational Characterization of Strong Normalization"
In proceedings: FOSSACS 2006.
Paolini"Semantics of PCF and the full abstraction problem"
Unpublished.

2005
Paolini, Pimentel and Ronchi Della Rocca"Lazy strong normalization"
In proceedings: Intersection Types and Related Systems 2004.

2004
Paolini and Ronchi Della Rocca"A fully abstract model for the lazy lambda-calculus"
In proceedings: ISDT'04.
Paolini"Lambda-theories: some investigations"
PhD thesis: Università degli Studi di Genova and Université de la Méditerranée (Aix-Marseille II).
Paolini and Ronchi Della Rocca"Lazy Logical Semantics"
In proceedings: Electronic Notes in Theoretical Computer Science.
Paolini and Ronchi Della Rocca"Parametric parameter passing lambda-calculus"
Article: Information and Computation.
Ronchi Della Rocca and Paolini"The Parametric λ-Calculus: a Metamodel for Computation"
Book: Springer Monography.

2002
Paolini"Call-by-Value Separability and Computability"
In proceedings: 7th Italian Conference in Theoretical Computer Science.

2000
Paolini"Élements de Ludique"
Master's thesis: DEA en Mathématiques Discrètes et Fondements de l'Informatique.

1999
Paolini and Ronchi Della Rocca"Call-by-value Solvability"
Article: Theoretical Informatics and Applications, RAIRO Series, EDP-Sciences.

1998
Paolini"La chiamata per Valore e La valutazione pigra nel λ-calcolo"
Master's thesis: Tesi di Laurea in Scienza dell'Informazione.

 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!