
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 
2022  
Barbanera, DezaniCiancaglini and De'Liguoro  "Open compliance in multiparty sessions" In proceedings. 
Castellani, DezaniCiancaglini and Giannini  "Asynchronous Sessions with Input Races" In proceedings. 
2021  
Barbanera, DezaniCiancaglini, Lanese and Tuosto  "Composition and decomposition of multiparty sessions" Article. 
Dagnino, Giannini and DezaniCiancaglini  "Deconfined Global Types for Asynchronous Sessions" In proceedings. 
2020  
Böhm, Böhm, Böhm, DezaniCiancaglini, Manfredini and Böhm  "Corrado Böhm: the lambdaadventure" In a collection. 
Bono and DezaniCiancaglini  "A tale of intersection types" In proceedings. 
Castellani, DezaniCiancaglini, Giannini and Horne  "Global Types with Internal Delegation" Article. 
Dagnino, Bono, Zucca and DezaniCiancaglini  "Soundness conditions for bigstep semantics" In proceedings. 
DezaniCiancaglini, Giannini and Venneri  "Deconfined Intersection Types in Java" In proceedings. 
Matos, Paolini and Roversi  "On the Expressivity of Total Reversible Programming Languages" In proceedings. 
Matos, Paolini and Roversi  "The fixed point problem of a simple reversible language" Article. 
Paolini, Piccolo and Roversi  "A class of Recursive Permutations which is Primitive Recursive complete" 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. 
1981  
Coppo, DezaniCiancaglini and Venneri  "Functional Characters of Solvable Terms" Article. 
1980  
Coppo, DezaniCiancaglini and Venneri  "Principal Type Schemes and Lambdacalculus Semantics" In a collection. 
1978  
Coppo, DezaniCiancaglini and Ronchi Della Rocca  "SemiSeparability of Finite Sets of Terms in Scott's $D$_{∞}models of $\lambda $calculus" 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)