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 

DIPARTIMENTO   DI  INFORMATICA
Università degli Studi di Torino

Formal Methods in Computing

2017
Barbanera and de' Liguoro"Retractability, games and orchestrators for session contracts"
Unpublished: submitted for publication.

2014
van Bakel, Barbanera and de' Liguoro"Intersection Types for the lambda-mu Calculus"
Unpublished.
de' Liguoro and Chen"Semantic Types for Classes and Mixins"
Unpublished: ITRS14.
Piccolo, Sacerdoti Coen and Tranquilli"The labelling approach to precise resource analysis on the source code, revisited"
Unpublished.

2013
Paolini"Foundational principles of reversible and quantum computing: Quantum Computing"
Unpublished.

2010
Berardi and de' Liguoro"Interactive Realizers and Monads"
Unpublished.
Roversi"Linear lambda calculus with explicit substitutions as proof-search in Deep Inference"
Unpublished.

2009
Paolini"Call-by-value lambda-calculus"
Unpublished.
Paolini"Parametric Lambda Calculus. A meta-calculus for computation"
Unpublished.

2008
Paolini and Piccolo"Linear Programming Languages"
Unpublished.
Piccolo"Strong Normalization in the π-calculus with Intersection and Union Types"
Unpublished.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types from a proof-theoretic perspective"
Unpublished.

2007
Paolini"Denotational Paradigms"
Unpublished.

2006
Paolini"Semantics of PCF and the full abstraction problem"
Unpublished.

 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!