|
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 -models of -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)