
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. 
Paolini  "Foundational principles of reversible and quantum computing: Quantum Computing" Unpublished. 
2014  
van Bakel, Barbanera and de' Liguoro  "Intersection Types for the lambdamu 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. 
2010  
Berardi and de' Liguoro  "Interactive Realizers and Monads" Unpublished. 
Roversi  "Linear lambda calculus with explicit substitutions as proofsearch in Deep Inference" Unpublished. 
2009  
Paolini  "Callbyvalue lambdacalculus" Unpublished. 
Paolini  "Parametric Lambda Calculus. A metacalculus for computation" Unpublished. 
2008  
Paolini and Piccolo  "Linear Programming Languages" Unpublished. 
Piccolo  "Strong Normalization in the $\pi $calculus with Intersection and Union Types" Unpublished. 
Pimentel, Ronchi Della Rocca and Roversi  "Intersection Types from a prooftheoretic perspective" Unpublished. 
2007  
Paolini  "Denotational Paradigms" Unpublished. 
2006  
Paolini  "Semantics of PCF and the full abstraction problem" Unpublished. 

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)