
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  
Ancona, Giannini and Zucca  "Type safe incremental rebinding" Article. 
Baillot, De Benedetti and Ronchi Della Rocca  "Characterizing Polynomial and Exponential Complexity Classes in Elementary LambdaCalculus" Article. 
van Bakel, Barbanera and de' Liguoro  "Intersection Types for the lambdamu Calculus" Article. 
Barbanera, van Bakel and de' Liguoro  "Orchestrated Session Compliance" Article. 
Barbanera and de' Liguoro  "Retractability, games and orchestrators for session contracts" Unpublished. 
Barbanera, Lanese and de' Liguoro  "Retractable and Speculative Contracts" In proceedings. 
Berardi and de' Liguoro  "Nonmonotonic prefix points and Learning" Article. 
Bono, Coppo, DezaniCiancaglini and Venneri  "Datadriven Adaptation for Smart Sessions" Article. 
Castellani, DezaniCiancaglini and Giannini  "Concurrent Reversible Sessions" In proceedings. 
Chen, DezaniCiancaglini, Scalas and Yoshida  "On the Preciseness of Subtyping in Session Types" Article. 
Coppo, DezaniCiancaglini, Margaria and Zacchi  "Isomorphism of Intersection and Union Types" Article. 
Coppo, DezaniCiancaglini, DíazCaro, Margaria and Zacchi  "Retractions in Intersection Types" In proceedings. 
Damiani, Lienhardt and Paolini  " A Formal Model for Multi SPLs " In proceedings. 
DezaniCiancaglini and Venneri  "Lambda Calcolo" Article. 
Giannini, Servetto and Zucca  "A type and effect system for sharing" In proceedings. 
Guerrieri, Paolini and Ronchi Della Rocca  "Standardization and Conservativity of a Refined CallbyValue lambdaCalculus" Article. 
Paolini, Piccolo and Roversi  "A certified study of a reversible programming language" In proceedings. 
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. 
Severi, Padovani, Tuosto and DezaniCiancaglini  "On Sessions and Infinite Data" Article. 
1994  
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn  "Comparing Cubes" In proceedings. 
Barbanera and Berardi  "A Symmetric LambdaCalculus for Classical Program Extraction" In proceedings. 
Cardone, DezaniCiancaglini and de' Liguoro  "Combining Type Disciplines" Article. 
Damiani and Giannini  "A Decidable Intersection Type System based on Relevance" In proceedings. 
DezaniCiancaglini, de' Liguoro and Piperno  "Fully Abstract Semantics for Concurrent Lambdacalculus" In proceedings. 
Giannini and Ronchi Della Rocca  "A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline" Article. 
Piperno and Ronchi Della Rocca  "Type Inference and Extensionality" In proceedings. 
1993  
Barbanera and Berardi  "Extracting Constructive Content from Classical Logic via Controllike Reductions" In proceedings. 
Barbanera and Berardi  "Witness Extraction in Classical Logic through Normalization" In a collection. 
Berardi  "An application of PER model to Program Extraction" Article. 
Berardi  "Encoding of Data Types in Pure Construction Calculus: a semantic justification" In proceedings. 
Giannini, Honsell and Ronchi Della Rocca  "Type Inference: some results, some problems" Article. 
1992  
Barbanera and Berardi  "A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction" In proceedings. 
Barbanera and Berardi  "Continuations and Simple Types: A strong Normalization Result" In proceedings. 
Coppo and Giannini  "A Complete Type Inference Algorithm for Simple Intersection Types" In proceedings. 
Egidi, Honsell and Ronchi Della Rocca  "Operational, denotational and logical descriptions: a case study" Article. 
Honsell and Ronchi Della Rocca  "An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus" Article. 
Jacobs, Margaria and Zacchi  "Filter models with polymorphic types" Article. 
de' Liguoro, Piperno and Statman  "Retracts in simply typed $\lambda $$\beta \eta $ calculus" In proceedings. 
Roversi  "A compiler from Currytyped $\lambda $terms to linear$\lambda $terms" In proceedings. 
1991  
Berardi  "Retraction on dIdomains as a Model of Type:Type" Article. 
Giannini and Ronchi Della Rocca  "Type Inference in Polymorphic Type Discipline" In proceedings. 
de' Liguoro  "Nondeterministic untyped $\lambda $calculus. A study about explicit non determinism in higherorder functional calculi" PhD thesis. 
1990  
Honsell and Ronchi Della Rocca  "Reasoning about interpretations in qualitative lambda models" In proceedings. 
Nestor, Newcomer, Giannini and Stone  "IDL, The Language and its Implementation" Book. 
1988  
Berardi  "Equalization of Finite Flowers" Article. 
Berardi  "Equalization of Finite Flowers" Article. 
Giannini and Ronchi Della Rocca  "Characterization of Typings in Polymorphic Type Discipline" In proceedings. 
Ronchi Della Rocca  "Principal Type scheme and unification for intersection type discipline" Article. 
1987  
Ronchi Della Rocca  "A Unification SemiAlgorithm for Intersection Type Schemes" In proceedings. 
1984  
Coppo, DezaniCiancaglini, Honsell and Longo  "Extended Type Structures and Filter Lambda Models" In proceedings. 
Giannini and Longo  "Effectively Given Domains and LambaCalculus Models" Article. 
Ronchi Della Rocca and Venneri  "Principal Type Scheme for an extended type theory" Article. 
1983  
Barendregt, Coppo and DezaniCiancaglini  "A Filter Lambda Model and the Completeness of Type Assignment" Article. 
1982  
Ronchi Della Rocca  "Characterization Theorems for a filter lambda model" Article. 
1978  
Coppo, DezaniCiancaglini and Ronchi Della Rocca  "SemiSeparability of Finite Sets of Terms in Scott's $D$_{∞}models of $\lambda $calculus" In proceedings. 
Not dated  
Giannini, Servetto and Zucca  "Runtime Checks as Nominal Types" In proceedings. 
Giannini, Servetto and Zucca  "Types for Immutability and Aliasing Control" In proceedings. 

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)