
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) 

FRAMES NO FRAME 
Simona Ronchi Della Rocca  

Personal Home Page TypeHierarchical Overview  
Chronological Overview 
2014  
Baillot, De Benedetti and Ronchi Della Rocca  "Characterizing Polynomial and Exponential Complexity Classes in Elementary LambdaCalculus" In proceedings. 
Bucciarelli, Kesner and Ronchi Della Rocca  "The Inhabitation Problem for NonIdempotent Intersection Types" In proceedings. 
2013  
De Benedetti and Ronchi Della Rocca  "Bounding normalization time through intersection types" In proceedings. 
Ronchi Della Rocca  "Proceedings of 22nd Annual Conference on Computer Science Logic (CSL 2013), Torino, September 25, 2013 " Conference proceedings. 
2012  
Dominici, Ronchi Della Rocca and Tranquilli  "Standardization in resource lambda calculus" In proceedings. 
Gaboardi, Marion and Ronchi Della Rocca  "An Implicit Characterization of PSPACE" Article: TOCL. 
Paolini, Piccolo and Ronchi Della Rocca  "Logical Relational LambdaModels" Unpublished: DRAFT. 
Pimentel, Ronchi Della Rocca and Roversi  "Intersection Types from a prooftheoretic perspective" Article. 
Pimentel and Ronchi Della Rocca  "Proceedings of Sixth Workshop on Logical and Semantic Frameworks with Applications (LFSA 2011), Belo Horizonte, August 27, 2011 " Conference proceedings. 
Ronchi Della Rocca  "Linear Logic and Theoretical Computer Science in Italy (Optimal Reduction and Implicit Computational Complexity)" Article. 
2011  
Paolini, Pimentel and Ronchi Della Rocca  "Strong Normalization from an unusual point of view" Article: Theoretical Computer Science. 
Ronchi Della Rocca, Saurin, Yiorgos and Veneti  "Intersection Logic in sequent calculus style" In proceedings. 
2010  
Pagani and Ronchi Della Rocca  "Linearity, Nondeterminism and Solvability" Article. 
Pagani and Ronchi Della Rocca  "Solvability in Resource Lambda Calculus" In proceedings. 
2009  
DezaniCiancaglini, Giannini and Ronchi Della Rocca  "Intersection, Universally Quantified, and Reference Types" In proceedings. 
Gaboardi and Ronchi Della Rocca  "From Light Logics to Type Assignements: a case study" Article. 
Gaboardi and Ronchi Della Rocca  "Type Inference for a polynomial LambdaCalculus" In proceedings. 
Paolini, Piccolo and Ronchi Della Rocca  "Logical Semantics for Stability" In proceedings: MFPS 2009. 
2008  
Coppola, Dal Lago and Ronchi Della Rocca  "Light Logics and the CallbyValue Lambda Calculus" Article. 
Gaboardi, Marion and Ronchi Della Rocca  "A Logical Account of PSPACE" In proceedings. 
Gaboardi, Marion and Ronchi Della Rocca  "Soft linear Logic and Polynomial Complexity Classes" In proceedings. 
Pimentel, Ronchi Della Rocca and Roversi  "Intersection Types from a prooftheoretic perspective" Unpublished. 
2007  
DezaniCiancaglini and Ronchi Della Rocca  "Intersection and Reference Types" In proceedings. 
Gaboardi and Ronchi Della Rocca  "A Soft Type Assignment System for $\lambda $Calculus" In proceedings. 
Liquori and Ronchi Della Rocca  "Intersection Types a la Church" Article: Information and Computation. 
Ronchi Della Rocca  "Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 2628, 2007, Proceedings" Conference proceedings. 
2006  
Gaboardi and Ronchi Della Rocca  "Soft Linear Logic and $\lambda $Calculus" In proceedings. 
Paolini, Pimentel and Ronchi Della Rocca  "An Operational Characterization of Strong Normalization" In proceedings: FOSSACS 2006. 
2005  
Coppola, Dal Lago and Ronchi Della Rocca  "Elementary Affine Logic and the Call by Value Lambda Calculus " In proceedings: TLCA'05. 
Coppola and Ronchi Della Rocca  "Principal Typing for Lambda Calculus in Elementary Affine Logic" Article: Fundamenta Informaticae. 
Liquori and Ronchi Della Rocca  "Towards an Intersection Typed System a la Church " In proceedings: ITRS'04. 
Paolini, Pimentel and Ronchi Della Rocca  "Lazy strong normalization" In proceedings: Intersection Types and Related Systems 2004. 
Pimentel, Ronchi Della Rocca and Roversi  "Intersection Types: a prooftheoretical approach" In proceedings. 
2004  
Paolini and Ronchi Della Rocca  "A fully abstract model for the lazy lambdacalculus" In proceedings: ISDT'04. 
Paolini and Ronchi Della Rocca  "Lazy Logical Semantics" In proceedings: Final Workshop of the Italian Research Project COMETA. 
Paolini and Ronchi Della Rocca  "Parametric parameter passing lambdacalculus" Article: Information and Computation. 
Ronchi Della Rocca and Paolini  "The Parametric $\lambda $Calculus: a Metamodel for Computation" Book: SpringerVerlag. 
2003  
Coppola and Ronchi Della Rocca  "Principal Typing for Elementary Affine Logic" In proceedings: TLCA 2003. 
2002  
Ronchi Della Rocca  "Typed Intersection Lambda Calculus" In proceedings: LTRS 2002. 
2001  
Restivo, Ronchi Della Rocca and Roversi  "Theoretical Computer Science  7th Italian Conference (ICTCS 2001)" Book. 
Ronchi Della Rocca and Roversi  "Intersection Logic" In proceedings. 
2000  
Ronchi Della Rocca  "Operational Semantics and Extensionality" In proceedings: PPDP'00. 
1999  
Kfoury, Ronchi Della Rocca, Tiuryn and Urzyczyn  "Alphaconversion and Typability" Article: Information and Computation. 
Paolini and Ronchi Della Rocca  "Callbyvalue Solvability" Article: Theoretical Informatics and Applications, RAIRO Series, EDPSciences. 
Pravato, Ronchi Della Rocca and Roversi  "The call by value $\lambda $calculus: a semantic investigation" Article. 
1998  
Bastonero, Pravato and Ronchi Della Rocca  "Structures for lazy semantics" In proceedings: PROCOMET'98. 
Honsell, Pravato and Ronchi Della Rocca  "Structured Operational Semantics of a fragment of the language SCHEME" Article: Journal of Functional Programming. 
1997  
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn  "Comparing Cubes of Typed and Type Assignment Systems" Article: Annals of Pure and Applied Logic. 
Pravato, Bastonero and Ronchi Della Rocca  "Structures for Lazy Semantics" Miscellaneous document. 
Ronchi Della Rocca and Roversi  "Lambda calculus and Intuitionistic Linear Logic" Article. 
1995  
Pravato, Ronchi Della Rocca and Luca  "Categorical Semantics of the callbyvalue lambda calculus" In proceedings. 
1994  
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn  "Comparing Cubes" In proceedings: LFCS94. 
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: LICS'94. 
1993  
Giannini, Honsell and Ronchi Della Rocca  "Type Inference: some results, some problems" Article. 
1992  
Egidi, Honsell and Ronchi Della Rocca  "Operational, denotational and logical descriptions: a case study" Article: Fundamenta Informaticæ. 
Honsell and Ronchi Della Rocca  "An approximation theorem for topological lambda models and the topological incompleteness of the lambda calculus" Article: Journal of Computer and Systems Science. 
1991  
Giannini and Ronchi Della Rocca  "Type Inference in Polymorphic Type Discipline" In proceedings. 
1990  
Honsell and Ronchi Della Rocca  "Reasoning about interpretations in qualitative lambda models" In proceedings: IFIP Working Group 2.2/2.3. 
1988  
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: Theoretical Computer Science. 
1987  
Ronchi Della Rocca  "A Unification SemiAlgorithm for Intersection Type Schemes" In proceedings: TAPSOFT'87. 
1984  
Ronchi Della Rocca and Venneri  "Principal Type Scheme for an extended type theory" Article: Theoretical Computer Science. 
1982  
Ronchi Della Rocca  "Characterization Theorems for a filter lambda model" Article: Information and Control. 
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)