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