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 

DIPARTIMENTO   DI  INFORMATICA
Università degli Studi di Torino

Formal Methods in Computing

2017
Ancona, Giannini and Zucca"Type safe incremental rebinding"
Article.
Baillot, De Benedetti and Ronchi Della Rocca"Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus"
Article.
van Bakel, Barbanera and de' Liguoro"Intersection Types for the lambda-mu Calculus"
Article: to appear in LMCS.
Barbanera, van Bakel and de' Liguoro"Orchestrated Session Compliance"
Article: Journal of Logical and Algebraic Methods in Programming.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
Article: Fundamenta Informaticae.
Bono, Coppo, Dezani-Ciancaglini and Venneri"Data-driven Adaptation for Smart Sessions"
Article.
Chen, Dezani-Ciancaglini, Scalas and Yoshida"On the Preciseness of Subtyping in Session Types"
Article.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of Intersection and Union Types"
Article.
Dezani-Ciancaglini and Venneri"Lambda Calcolo"
Article.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article: Logical Methods in Computer Science.
Severi, Padovani, Tuosto and Dezani-Ciancaglini"On Sessions and Infinite Data"
Article.

2016
Aceto, Dezani-Ciancaglini, Gurevich, Harel, Henzinger, Italiano, Smolka, Spirakis and Thomas"EATCS Fellows' Advice to the Young Theoretical Computer Scientist"
Article.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Reversible client/server interactions"
Article: Formal Aspects of Computing.
Capecchi, Castellani and Dezani-Ciancaglini"Information Flow Safety in Multiparty Sessions"
Article.
Castellani, Dezani-Ciancaglini and Pérez"Self-Adaptation and Secure Information Flow in Multiparty Communications"
Article.
Coppo, Dezani-Ciancaglini, Yoshida and Padovani"Global Progress for Dynamically Interleaved Multiparty Sessions"
Article.
De Benedetti and Ronchi Della Rocca"A type assignment for lambda-calculus complete both for FPTIME and strong normalization"
Article.
Gaboardi, Paolini and Piccolo"On the reification of semantic linearity"
Article: Mathematical Structures in Computer Science.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article: Electronic Notes in Theoretical Computer Science.
Ronchi Della Rocca and Mogbil"Development on Implicit Computational Complexity (DICE 2013)"
Article.
Roversi"A deep inference system with a self-dual binder which is complete for linear lambda calculus"
Article.

2015
Aldinucci, Pezzi, Drocco, Spampinato and Torquati"Parallel Visual Data Restoration on Multi-GPGPUs using Stencil-Reduce Pattern"
Article.
Barbanera and de' Liguoro"Sub-behaviour relations for session-based client/server systems"
Article: Mathematical Structures in Computer Science.
Bartoletti, Castellani, Deniélou, Dezani-Ciancaglini, Ghilezan, Pantovic, Pérez, Thiemann, Toninho and Vieira"Combining behavioural types with security analysis "
Article.
Bettini, Damiani and Schaefer"Implementing type-safe software product lines using parametric traits"
Article.
Canavese, Cesena, Ouchary, Pedicini and Roversi"Light combinators for finite fields arithmetic "
Article.
Compagnoni, Giannini and Kelley"A computational modeling language for complex laboratory experiments "
Article.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Multiparty Sessions"
Article.
Giannini, Merelli and Troina"Interactions between Computer Science and Biology"
Article.
Laneve and Padovani"An Algebraic Theory for Web Service Contracts"
Article.
de' Liguoro"The Approximation Theorem for the Λμ-Calculus"
Article: Mathematical Structures in Computer Science.
Padovani"Fair Subtyping for Multi-Party Session Types"
Article.
Paolini, Piccolo and Ronchi Della Rocca"Essential and relational models"
Article: Mathematical Structures in Computer Science.
Shkaravska, Ronchi Della Rocca and van Eekelen"Special Issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011"
Article.

2014
Aldinucci, Ruggieri and Torquati"Decision Tree Building on Multi-Core using FastFlow"
Article.
Aldinucci, Campa, Danelutto, Kilpatrick and Torquati"Design patterns percolating to parallel programming framework implementation"
Article.
Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On designing multicore-aware simulators for systems biology endowed with on-line statistics"
Article.
Aldinucci, Torquati, Spampinato, Drocco, Misale, Calcagno and Coppo"Parallel stochastic systems biology in the cloud"
Article.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies (full version)"
Article: Logical Methods in Computer Science.
Capecchi, Giachino and Yoshida"Global Escape in Multiparty Sessions "
Article.
Capecchi, Castellani and Dezani-Ciancaglini"Typing Access Control and Secure Information Flow in Sessions"
Article.
Damiani, Dovland, Johnsen and Schaefer"Verifying traits: an incremental proof system for fine-grained reuse"
Article.
Gaboardi and Piccolo"What is a model for a semantically linear λ-calculus?"
Article.
Giannini and Shaqiri"Compiling Functional to Scripting Languages"
Article.
Jakšic and Padovani"Exception Handling for Copyless Messaging"
Article.
Misale, Ferrero, Torquati and Aldinucci"Sequence alignment tools: one parallel pattern to rule them all?"
Article.
Roversi"A deep inference system with a self-dual binder which is complete for linear lambda calculus"
Article.
Spampinato, Kavasidis, Aldinucci, Pino, Giordano and Faro"Discovering Biological Knowledge by Integrating High Throughput Data and Scientific Literature on the Cloud"
Article.

2013
Bettini, Capecchi, Dezani-Ciancaglini, Giachino and Venneri" Deriving Session and Union Types for Objects "
Article.
Bettini, Damiani, Geilmann and Schaefer"Combining traits with boxes and ownership types in a Java-like setting"
Article.
Bettini, Damiani and Schaefer"Compositional type checking of delta-oriented software product lines"
Article.
Bettini, Capecchi and Damiani"On flexible dynamic trait replacement for Java-like languages"
Article.
Bettini, Damiani, Schaefer and Strocco"TraitRecordJ: A programming language with traits and records "
Article.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Type Directed Semantics for the Calculus of Looping Sequences"
Article.
Giannini and de Vink"The Third International Workshop on Interactions between Computer Science and Biology, CS2Bio 2012"
Article.
Sciacca, Spinella, Calcagno, Damiani and Coppo"Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations"
Article.

2012
Aldinucci, Danelutto, Kilpatrick and Torquati"Targeting heterogeneous architectures via macro data flow"
Article.
Audrito, Demo and Giovannetti"The Role of Contests in Changing Informatic Education: A Local View"
Article.
Berardi and de' Liguoro"Interactive realizers. A new approach to program extraction from non constructive proofs"
Article: ACM Transactions on Computational Logic.
Bioglio, Dezani-Ciancaglini, Giannini and Troina"Typed Stochastic Semantics for the Calculus of Looping Sequences"
Article.
Bono and Padovani"Typing Copyless Message Passing"
Article.
Castagna, Dezani-Ciancaglini and Padovani"On Global Types and Multi-Party Sessions"
Article.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Simulation techniques for the calculus of wrapped compartments"
Article.
Damiani, Giannini, Ricci and Viroli"Standard type soundness for agents and artifacts"
Article.
Dezani-Ciancaglini, Horne and Sassone"Tracing where and who provenance in Linked Data: a calculus"
Article.
Gaboardi, Marion and Ronchi Della Rocca"An Implicit Characterization of PSPACE"
Article: TOCL.
Ghilezan, Jaksic, Pantovic and Dezani-Ciancaglini"Types and Roles for Web Security"
Article.
Padovani"On Projecting Processes into Session Types"
Article.
Pimentel, Ronchi Della Rocca and Roversi"Intersection Types from a proof-theoretic perspective"
Article.
Ronchi Della Rocca"Linear Logic and Theoretical Computer Science in Italy (Optimal Reduction and Implicit Computational Complexity)"
Article.
Roversi"Communication, and concurrency with logic-based restriction inside a calculus of structures"
Article.
Roversi"Extending a system in the calculus of structures with a self-dual quantifier"
Article.
Schaefer, Rabiser, Clarke, Bettini, Benavides, Botterweck, Pathak, Trujillo and Villela"Software diversity: state of the art and perspectives"
Article.
Weigold, Aldinucci, Danelutto and Getov"Process-Driven Biometric Identification by means of Autonomic Grid Components"
Article.

2011
Bettini, Bono and Venneri"Delegation by object composition"
Article.
Bioglio"Enumerated Type Semantics for the Calculus of Looping Sequences"
Article.
Damiani, Giannini, Ricci and Viroli"A Calculus of Agents and Artifacts"
Article.
Dezani-Ciancaglini, Giannini and Zucca"Extending the lambda-calculus with unbind and rebind"
Article.
Giannini and Krivine"The Second International Workshop on Interactions between Computer Science and Biology, CS2Bio 2011"
Article.
Paolini, Pimentel and Ronchi Della Rocca"Strong Normalization from an unusual point of view"
Article: Theoretical Computer Science.

2010
Aldinucci, Bracciali and Liò"Formal Synthetic Immunology"
Article.
Barbuti, Dezani-Ciancaglini, Maggiolo-Schettini, Milazzo and Troina"A Formalism for the Description of Protein Interaction"
Article.
Dezani-Ciancaglini, Di Cosmo, Giovannetti and Tatsuta"On Isomorphisms of Intersection Types"
Article.
Kusmierek and Bono"Big-step Operational Semantics Revisited"
Article.
Lanotte, Maggiolo-Schettini and Troina"Reachability results for timed automata with unbounded data structures"
Article.
Lanotte, Maggiolo-Schettini and Troina"Time and Probability based Information Flow Analysis"
Article.
Lanotte, Maggiolo-Schettini and Troina"Weak Bisimulation for Probabilistic Timed Automata"
Article.
Padovani"Contract-Based Discovery of Web Services Modulo Simple Orchestrators"
Article.
Pagani and Ronchi Della Rocca"Linearity, Non-determinism and Solvability"
Article.
Piccolo"Strong Normalization in the π-calculus with Intersection and Union Types"
Article.

2009
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection"
Article.
Berardi and de' Liguoro"Toward the interpretation of non-constructive reasoning as non-monotonic learning"
Article: Information and Computation.
Bettini, Capecchi and Venneri"Dynamic Overloading with Copy Semantics in Object-Oriented Languages: a Formal Account"
Article.
Bettini, Capecchi and Venneri"Featherweight Java with Dynamic and StaticOverloading "
Article.
Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino"Amalgamating Sessions and Methods in Object Oriented Languages with Generics"
Article.
Carpineti, Laneve and Padovani"PiDuce - A Project for Experimenting Web Services Technologies"
Article.
Castagna, Gesbert and Padovani"A Theory of Contracts for Web Services"
Article.
Dezani-Ciancaglini, Drossopoulou, Mostrous and Yoshida"Objects and Session Types"
Article.
Gaboardi and Ronchi Della Rocca"From Light Logics to Type Assignements: a case study"
Article.

2008
Aldinucci and Benoit"Automatic mapping of ASSIST applications using process algebra"
Article.
Aldinucci and Danelutto"Securing skeletal systems with limited performance penalty: the Muskel experience"
Article.
van Bakel and de' Liguoro"Logical equivalence for subtyping and recursive types"
Article: Theory of Computing Systems.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"Bisimulations in Calculi Modelling Membranes"
Article.
Barbuti, Maggiolo-Schettini, Milazzo, Tiberi and Troina"Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways"
Article.
Berardi and Yamagata"A sequent calculus for limit computable mathematics"
Article.
Bettini, Bono and Venneri"A typed lambda calculus with intersection types"
Article.
Bettini, Capecchi and Giachino"Featherweight Wrap Java: wrapping objects and methods"
Article.
Bettini"Timed Buffers: A Technique For Update Propagation In Nomadic Environments"
Article.
Coppo, Dezani-Ciancaglini and Giovannetti"Types for Ambient and Process Mobility"
Article.
Coppola, Dal Lago and Ronchi Della Rocca"Light Logics and the Call-by-Value Lambda Calculus"
Article.
Damiani, Giachino, Giannini and Drossopoulou"A Type Safe State Abstraction for Coordination in Java-like Languages"
Article: Acta Informatica, Springer, 45:479-536 (DOI: 10.1007/s00236-008-0079-y).
Damiani, Giachino and Giannini"Alias Types and effects for ``environment-aware'' computations"
Article: Fundamenta Informaticae, IOS Press, 88(1-2), 63-107.
Dezani-Ciancaglini, Giannini and Nierstrasz"A Calculus of Evolving Objects"
Article.
Dezani-Ciancaglini, Ghilezan, Pantovic and Varacca"Security Types for Dynamic Web Data"
Article.
Lanotte, Maggiolo-Schettini, Milazzo and Troina"Design and Verification of Long-Running Transactions in a Timed Framework"
Article.
Nicosia, Rinaudo and Sciacca"An Evolutionary Algorithm-Based Approach to Robust Analog Circuit Design using Constrained Multi-Objective Optimization"
Article.
Paolini"Parametric λ-Theories"
Article: Theoretical Computer Science.
Spinella, Ostoich and Anile"River water quality assessment with fuzzy interpolation"
Article.

2007
Aldinucci, Danelutto and Dazzi"MUSKEL: an expandable skeleton environment"
Article.
Aldinucci and Danelutto"Skeleton based parallel programming: functional and parallel semantic in a single shot"
Article.
Ancona, Anderson, Damiani, Drossopoulou, Giannini and Zucca"A provenly correct translation of Fickle into Java"
Article: ACM Transactions On Programming Languages and Systems, 29(2), Article No. 13 (67 pages).
Barbanera, Bugliesi, Dezani-Ciancaglini and Sassone"Space-Aware Ambients and Processes"
Article.
Damiani"Rank 2 Intersection for Recursive Definitions"
Article: Fundamenta Informaticae, IOS Press, 77(4), 451-488.
Faggian and Piccolo"A Graph Abstract Machine Describing Event Structure Composition"
Article.
Garralda, Bonelli, Compagnoni and Dezani-Ciancaglini"Boxed Ambients with Communication Interfaces"
Article.
Lanotte, Maggiolo-Schettini and Troina"Parametric Probabilistic Transition Systems for System Design and Analysis"
Article.
Liquori and Ronchi Della Rocca"Intersection Types a la Church"
Article: Information and Computation.
Spinella, Enea, Kroell, Messina and Ronsisvalle"Optimal Design of Monolithic ESBT Device carried out by Multiobjective Optimization"
Article.

2006
Aldinucci and Danelutto"Algorithmic skeletons meeting grids"
Article.
Aldinucci, Coppola, Danelutto, Tonellotto, Vanneschi and Zoccolo"High level grid programming with ASSIST"
Article.
Alessi, Barbanera and Dezani-Ciancaglini"Intersection Types and Lambda Models"
Article.
Anile, Rinaudo, Ciccazzo, Martino, Milazzo and Spinella"Comparison of Different Methodologies for Parameter Extraction in Circuit Design"
Article.
Berardi"Some intuitionistic equivalents of classical principles for degree 2 formulas "
Article.
Bettini, Capecchi and Venneri"Double Dispatch in C++"
Article.
Bettini, De Nicola and Loreti"Implementing Mobile and Distributed Applications in X-Klaim"
Article.
Biondi, Ciccazzo, Cutello, D'Antona, Nicosia and Spinella"Multi-objective evolutionary algorithms and pattern search methods for circuit design problems"
Article.
Cutello, Nicosia, Rascuna and Spinella"Optimising an inductor circuit and a two-stage operational transconductance amplifier using evolutionary and classical algorithms"
Article.
Giannini, Sangiorgi and Valente"Safe Ambients: Abstract Machine and Distributed Implementation"
Article.
Paolini"A Stable Programming Language"
Article: Information and Computation.

2005
Anile and Spinella"Fuzzy modeling of sparse data"
Article.
Barbuti, Maggiolo-Schettini, Milazzo and Troina"A Calculus of Looping Sequences for Modelling Microbiological Systems"
Article.
Barbuti, Cataudella, Maggiolo-Schettini, Milazzo and Troina"A Probabilistic Model for Molecular Systems"
Article.
Berardi"Classical Logic as Limit Completion"
Article.
Bettini, Bono and Venneri"MoMi - A Calculus for Mobile Mixins"
Article.
Bettini, Bono and Likavec"Safe and Flexible Objects with Subtyping"
Article.
Coppola and Ronchi Della Rocca"Principal Typing for Lambda Calculus in Elementary Affine Logic"
Article: Fundamenta Informaticae.
Dezani-Ciancaglini, Honsell and Motohama"Compositional Characterization of λ-terms using Intersection Types"
Article.
Spinella and Anile"A Posteriori Multiobjective Optimization for Parameter Extraction of Microelectronic Devices"
Article.

2004
Alessi, Dezani-Ciancaglini and Lusin"Intersection Types and Domain Operators"
Article.
Anile and Spinella"Modeling Uncertain Sparse Data with Fuzzy B-splines"
Article.
Berardi"A generalization of conservativity theorem for classical versus intuitionistic arithmetic"
Article.
Berardi and Berline"Building continuous webbed models for System F"
Article.
Berardi and Valentini"Krivine's intuitionistic proof of Classical Completeness"
Article.
Bettini, De Nicola and Loreti"Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming"
Article.
Damiani, Dezani-Ciancaglini and Giannini"On Re-classification and Multithreading"
Article: Journal of Objectc Technology (www.jot.fm), 3(11):5-30.
Dezani-Ciancaglini, Ghilezan and Likavec"Behavioural Inverse Limit Models"
Article.
Lengrand, Lescanne, Dougherty, Dezani-Ciancaglini and van Bakel"Intersection Types for Explicit Substitutions"
Article.
Paolini and Ronchi Della Rocca"Parametric parameter passing lambda-calculus"
Article: Information and Computation.

2003
Aldinucci, Danelutto and Teti"An advanced environment supporting structured parallel programming in Java"
Article.
Aldinucci"eskimo: experimenting with Skeletons in the Shared Address Model"
Article.
Anderson, Barbanera and Dezani-Ciancaglini"Alias and Union Types for Delegation"
Article.
Anile, Spinella and Rinaudo"Stochastic response surface method and tolerance analysis in microelectronics"
Article.
Asperti, Padovani, Coen, Guidi and Schena"Mathematical Knowledge Management in HELM"
Article.
Barbanera and Berardi"A full continuous model of polymorphism"
Article.
Damiani"A conjunctive type system for useless-code elimination"
Article: Mathematical Structures in Computer Science, 13:157-197.
Damiani"Rank 2 intersection types for local definitions and conditional expressions"
Article: ACM Transactions On Programming Languages and Systems, 25(4):401-451.
Dezani-Ciancaglini, Honsell and Alessi"A Complete Characterization of Complete Intersection-Type Preorders"
Article.
Dezani-Ciancaglini, Severi and de Vries"Infinitary Lambda Calculus and Discrimination of Berarducci Trees"
Article.
Dezani-Ciancaglini and Ghilezan"Lambda Models Characterizing Computational Behaviours of Terms"
Article.
Padovani"MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality"
Article.

2002
Asperti and Roversi"Intuitionistic Light Affine Logic"
Article.
van Bakel, Barbanera, Dezani-Ciancaglini and de Vries"Intersection Types for Lambda-Trees"
Article.
Berardi and Berline"Beta-eta complete models for system F"
Article.
Bettini, De Nicola and Pugliese"Klava: a Java Package for Distributed and Mobile Applications"
Article.
Bono and Tiuryn"Products and Polymorphic Subtypes"
Article.
Bono, Bugliesi and Crafa"Typed Interpretations of Extensible Objects"
Article.
Casarini and Padovani"The GNOME DOM Engine"
Article.
Coppo, Damiani and Giannini"Strictness, totality, and non-standard type inference"
Article: Theoretical Computer Science, 272(1-2):69-112.
Dezani-Ciancaglini, Meyer and Motohama"The Semantics of Entailment Omega"
Article.
Drossopoulou, Damiani, Dezani-Ciancaglini and Giannini"More Dynamic Object Re-classification: FickleII"
Article: ACM Transactions On Programming Languages and Systems, 24(2):153-191.

2001
Aldinucci, Gorlatch, Lengauer and Pelagatti"Towards Parallel Programming by Transformation: The FAN Skeleton Framework"
Article.
Dezani-Ciancaglini, Honsell and Motohama"Approximation Theorems for Intersection Type Systems"
Article.

2000
Damiani and Giannini"Automatic useless-code detection and elimination for HOT functional programs"
Article: Journal of Functional Programming, 10(6):509-559.
Margaria and Zacchi"Generalized filter models"
Article.
Roversi"Light Affine Logic as a Programming Language: a First Contribution "
Article.

1999
Berardi"Intuitionistic Completness for First Order Classical Logic"
Article.
Berarducci and Dezani-Ciancaglini"Infinite Lambda-calculus and Types"
Article.
Bono, Bugliesi, Dezani-Ciancaglini and Liquori"A Subtyping for Extensible, Incomplete Objects"
Article.
Bono and Bugliesi"Matching for the Lambda Calculus of Objects"
Article.
Damiani, Dezani-Ciancaglini and Giannini"A Filter Model for Mobile Processes"
Article: Mathematical Structures in Computer Science, 9(1):63-101.
Dezani-Ciancaglini, Tiuryn and Urzyczyn"Discrimination by Parallel Observers: the Algorithm"
Article.
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
Baratella and Berardi"Approximating Classical Theorems"
Article.
Berardi, Bezem and Coquand"On the Computational Content of the Axiom of Choice"
Article.
Dezani-Ciancaglini, de' Liguoro and Piperno"A Filter Model for Concurrent Lambda-Calculus"
Article: Siam Journal on Computing.
Honsell, Pravato and Ronchi Della Rocca"Structured Operational Semantics of a fragment of the language SCHEME"
Article: Journal of Functional Programming.

1997
Alessi, Dezani-Ciancaglini and de' Liguoro"A Convex Powerdomain over Lattices: its Logic and λ-Calculus"
Article: Fundamenta Informaticae.
Aoun, Barbanera, Dezani-Ciancaglini and Mirasyedioglu"Principal Typing for Parallel and non-Deterministic Lambda Calculus"
Article.
van Bakel, Liquori, Ronchi Della Rocca and Urzyczyn"Comparing Cubes of Typed and Type Assignment Systems"
Article: Annals of Pure and Applied Logic.
Baratella and Berardi"A Parallel Game Semantic for Linear Logic"
Article.
Barbanera and Berardi"The Simply-Typed Theory of beta-conversion has no Maximum Extension"
Article.
Ronchi Della Rocca and Roversi"Lambda calculus and Intuitionistic Linear Logic"
Article.

1996
Barbanera and Berardi"A Constructive Valuation Semantics for Classical Logic"
Article.
Barbanera and Berardi"A Symmetric Lambda-Calculus for Classical Program Extraction"
Article.
Barbanera and Berardi"Proof-irrelevance out of Excluded-middle and Choice in the Calculus of Constructions"
Article.
Berardi"Pruning Simply Typed Lambda Terms"
Article.
Dezani-Ciancaglini, de' Liguoro and Piperno"Filter Models for Conjunctive-Disjunctive Lambda-Calculi"
Article: Theoretical Computer Science.

1995
Barbanera and Berardi"A Strong Normalization Result for Classical Logic"
Article.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Intersection and Union Types: Syntax and Semantics"
Article: Information and Computation.
Coppo and Giannini"Principal Types and Unification For a Simple Intersection Type System "
Article.
de' Liguoro and Piperno"Nondeterministic Extensions of Untyped λ-Calculus"
Article: Information and Computation.
Margaria and Zacchi"Principal Typing in a ∀ ∧ Discipline"
Article.

1994
Cardone, Dezani-Ciancaglini and de' Liguoro"Combining Type Disciplines"
Article: Annals of Pure and Applied Logic.
Giannini and Ronchi Della Rocca"A Type Inference Algorithm for a complete stratification of the Polymorphic Type Discipline"
Article.

1993
Berardi"An application of PER model to Program Extraction"
Article.
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.
Jacobs, Margaria and Zacchi"Filter models with polymorphic types"
Article.

1991
Berardi"Retraction on dI-domains as a Model of Type:Type"
Article.

1988
Berardi"Equalization of Finite Flowers"
Article.
Berardi"Equalization of Finite Flowers"
Article.
Ronchi Della Rocca"Principal Type scheme and unification for intersection type discipline"
Article: Theoretical Computer Science.

1984
Giannini and Longo"Effectively Given Domains and Lamba-Calculus Models"
Article.
Ronchi Della Rocca and Venneri"Principal Type Scheme for an extended type theory"
Article: Theoretical Computer Science.

1983
Barendregt, Coppo and Dezani-Ciancaglini"A Filter Lambda Model and the Completeness of Type Assignment"
Article.

1982
Ronchi Della Rocca"Characterization Theorems for a filter lambda model"
Article: Information and Control.

 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!