Chronological Overview 
 Type-Hierarchical Overview 
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      Type-Hierarchical Overview
 
Chronological Overview 

2017
Guerrieri, Paolini and Ronchi Della Rocca"Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article: Logical Methods in Computer Science.
Paolini, Piccolo and Ronchi Della Rocca"Essential and relational models"
Article: Mathematical Structures in Computer Science.

2016
De Benedetti and Ronchi Della Rocca"A type assignment for lambda-calculus complete both for FPTIME and strong normalization"
Article.
Ronchi Della Rocca and Mogbil"Development on Implicit Computational Complexity (DICE 2013)"
Article.

2015
Bucciarelli, Kesner and Ronchi Della Rocca"Observability for Pair Pattern Calculi"
In proceedings.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization for a Call-by-Value Lambda-Calculus"
In proceedings: LIPIcs.
Shkaravska, Ronchi Della Rocca and van Eekelen"Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011"
Article.

2014
Baillot, De Benedetti and Ronchi Della Rocca"Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus"
In proceedings.
Bucciarelli, Kesner and Ronchi Della Rocca"The Inhabitation Problem for Non-Idempotent 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 2-5, 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.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types from a proof-theoretic 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, Non-determinism and Solvability"
Article.
Pagani and Ronchi Della Rocca"Solvability in Resource Lambda Calculus"
In proceedings.

2009
Dezani-Ciancaglini, 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 Lambda-Calculus"
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 Call-by-Value 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 proof-theoretic perspective"
Unpublished.

2007
Dezani-Ciancaglini and Ronchi Della Rocca"Intersection and Reference Types"
In proceedings.
Gaboardi and Ronchi Della Rocca"A Soft Type Assignment System for λ-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 26-28, 2007, Proceedings"
Conference proceedings.

2006
Gaboardi and Ronchi Della Rocca"Soft Linear Logic and λ-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 proof-theoretical approach"
In proceedings.

2004
Paolini and Ronchi Della Rocca"A fully abstract model for the lazy lambda-calculus"
In proceedings: ISDT'04.
Paolini and Ronchi Della Rocca"Lazy Logical Semantics"
In proceedings: Electronic Notes in Theoretical Computer Science.
Paolini and Ronchi Della Rocca"Parametric parameter passing lambda-calculus"
Article: Information and Computation.
Ronchi Della Rocca and Paolini"The Parametric λ-Calculus: a Metamodel for Computation"
Book: Springer Monography.

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"Alpha-conversion and Typability"
Article: Information and Computation.
Paolini and Ronchi Della Rocca"Call-by-value Solvability"
Article: Theoretical Informatics and Applications, RAIRO Series, EDP-Sciences.
Pravato, Ronchi Della Rocca and Roversi"The call by value λ-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 call-by-value lambda calculus"
In proceedings.

1994
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn"Comparing Cubes"
In proceedings: LFCS-94.
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 Semi-Algorithm 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, Dezani-Ciancaglini and Ronchi Della Rocca"Semi-Separability of Finite Sets of Terms in Scott's D-models of λ-calculus"
In proceedings.

 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!