
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 
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. 

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)