Mariangiola Dezani-Ciancaglini

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Retractions in Intersection Types.

[BibT_eX]

[DOI]

Alejandro Díaz-Caro

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

Secure Multiparty Sessions with Topics.

[BibT_eX]

[DOI]

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Self-adaptive multiparty sessions.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2015

Combining behavioural types with security analysis.

[BibT_eX]

[DOI]

Massimo Bartoletti

Pierre-Malo Deniélou

J. Log. Algebraic Methods Program., 2015

Partial and Complete Processes in Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Precise subtyping for synchronous multiparty sessions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Retractable Contracts.

[BibT_eX]

[DOI]

Ivan Lanese

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Multicore Programming, 2015

2014

Typing access control and secure information flow in sessions.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Session Type Isomorphisms.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

On Isomorphism of "Functional" Intersection and Union Types.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective.

[BibT_eX]

[DOI]

Jorge A. Pérez

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Compliance for reversible client/server interactions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Preciseness of Subtyping on Intersection and Union Types.

[BibT_eX]

[DOI]

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Preciseness of Subtyping in Session Types.

[BibT_eX]

[DOI]

Tzu-Chun Chen

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Self-Adaptive Monitors for Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Deriving session and union types for objects.

[BibT_eX]

[DOI]

Lorenzo Bettini

Math. Struct. Comput. Sci., 2013

Type Directed Semantics for the Calculus of Looping Sequences.

[BibT_eX]

[DOI]

Livio Bioglio

Int. J. Softw. Informatics, 2013

Isomorphism of "Functional" Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

Tracing where and who provenance in Linked Data: A calculus.

[BibT_eX]

[DOI]

Ross Horne

Theor. Comput. Sci., 2012

Typed stochastic semantics for the calculus of looping sequences.

[BibT_eX]

[DOI]

Livio Bioglio

Theor. Comput. Sci., 2012

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

[BibT_eX]

[DOI]

Adriana B. Compagnoni

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

On Global Types and Multi-Party Session

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Toward Isomorphism of Intersection and Union types.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2011

Extending the lambda-calculus with unbind and rebind.

[BibT_eX]

[DOI]

Elena Zucca

RAIRO Theor. Informatics Appl., 2011

A Calculus of Looping Sequences with Local Rules

[BibT_eX]

[DOI]

Livio Bioglio

Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

Information Flow Safety in Multiparty Sessions

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Constraints for Service Contracts.

[BibT_eX]

[DOI]

Maria Grazia Buscemi

Ugo Montanari

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

A Reputation System for Multirole Sessions.

[BibT_eX]

[DOI]

Viviana Bono

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

On Global Types and Multi-party Sessions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

On isomorphisms of intersection types.

[BibT_eX]

[DOI]

Roberto Di Cosmo

Andrea Maggiolo-Schettini

Makoto Tatsuta

ACM Trans. Comput. Log., 2010

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.

[BibT_eX]

[DOI]

Roberto Barbuti

Paolo Milazzo

Fundam. Informaticae, 2010

Intersection types for unbind and rebind

[BibT_eX]

[DOI]

Elena Zucca

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Types for Role-Based Access Control of Dynamic Web Data.

[BibT_eX]

[DOI]

Svetlana Jaksic

Proceedings of the Functional and Constraint Logic Programming, 2010

Towards a semantic model for Java wildcards.

[BibT_eX]

[DOI]

Alexander J. Summers

Nicholas Cameron

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

Session Types for Access and Information Flow Control.

[BibT_eX]

[DOI]

Tamara Rezk

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Amalgamating sessions and methods in object-oriented languages with generics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Objects and session types.

[BibT_eX]

[DOI]

Dimitris Mostrous

Inf. Comput., 2009

A Type System for a Stochastic CLS

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

A Type System for Required/Excluded Elements in CLS

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, 2009

Sessions and Session Types: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Foundations of session types.

[BibT_eX]

[DOI]

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

The essence of static and dynamic bindings.

[BibT_eX]

Elena Zucca

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Intersection, Universally Quantified, and Reference Types.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Lambda-Calculus.

[BibT_eX]

[DOI]

J. Roger Hindley

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Security types for dynamic web data.

[BibT_eX]

[DOI]

Daniele Varacca

Theor. Comput. Sci., 2008

Types for ambient and process mobility.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2008

Type Disciplines for Analysing Biologically Relevant Properties.

[BibT_eX]

[DOI]

Bogdan Aman

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

A Calculus of Evolving Objects.

[BibT_eX]

[DOI]

Oscar Nierstrasz

Sci. Ann. Comput. Sci., 2008

Structured Communications with Concurrent Constraints.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Session and Union Types for Object Oriented Programming.

[BibT_eX]

[DOI]

Lorenzo Bettini

Proceedings of the Concurrency, 2008

2007

Space-aware ambients and processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Boxed ambients with communication interfaces.

[BibT_eX]

[DOI]

Pablo Garralda

Eduardo Bonelli

Adriana B. Compagnoni

Math. Struct. Comput. Sci., 2007

Preface.

[BibT_eX]

[DOI]

Vincent Danos

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

On Progress for Structured Communications.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous Session Types and Progress for Object Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2006

Intersection types and lambda models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A Behavioural Model for Klop's Calculus.

[BibT_eX]

[DOI]

Makoto Tatsuta

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

Security Types for Dynamic Web Data.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

BASS: boxed ambients with safe sessions.

[BibT_eX]

[DOI]

Pablo Garralda

Adriana B. Compagnoni

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Normalisation is Insensible to lambda-Term Identity or Difference.

[BibT_eX]

[DOI]

Makoto Tatsuta

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Bounded Session Types for Object Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Session Types for Object-Oriented Languages.

[BibT_eX]

[DOI]

Dimitris Mostrous

Proceedings of the ECOOP 2006, 2006

Encoding CDuce in the Cpi-Calculus.

[BibT_eX]

[DOI]

Daniele Varacca

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Compositional characterisations of lambda-terms using intersection types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

A Distributed Object-Oriented Language with Session Types.

[BibT_eX]

[DOI]

Alexander Joseph Ahern

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

A Mobility Calculus with Local and Dependent Types.

[BibT_eX]

[DOI]

Federico Cozzi

Rosario Pugliese

Proceedings of the Processes, 2005

2004

Behavioural inverse limit lambda-models.

[BibT_eX]

[DOI]

Silvia Likavec

Theor. Comput. Sci., 2004

Intersection types and domain operators.

[BibT_eX]

[DOI]

Stefania Lusin

Theor. Comput. Sci., 2004

On Re-classification and Multi-threading.

[BibT_eX]

[DOI]

J. Object Technol., 2004

Intersection types for explicit substitutions.

[BibT_eX]

[DOI]

Stéphane Lengrand

Pierre Lescanne

Daniel J. Dougherty

Steffen van Bakel

Inf. Comput., 2004

Type Preorders and Recursive Terms.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Re-classification and multi-threading: FickleMT.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Dynamic and Local Typing for Mobile Ambients.

[BibT_eX]

[DOI]

Rosario Pugliese

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

A complete characterization of complete intersection-type preorders.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2003

Infinitary lambda calculus and discrimination of Berarducci trees.

[BibT_eX]

[DOI]

Paula Severi

Theor. Comput. Sci., 2003

Mobility Types for Mobile Processes in Mobile Ambients.

[BibT_eX]

[DOI]

Ivano Salvo

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Can addresses be types? (A case study: objects with delegation).

[BibT_eX]

[DOI]

Christopher Anderson

Proceedings of the Workshop on Object Oriented Developments, 2003

Intersection Types and Computational Rules.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Tailoring Filter Models.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A Calculus of Bounded Capacities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 2003

2002

More dynamic object reclassification: Fickle||

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2002

Theories of Types and Proofs 1997 - Preface.

[BibT_eX]

[DOI]

Mitsuhiro Okada

Masako Takahashi

Theor. Comput. Sci., 2002

Intersection types for lambda-trees.

[BibT_eX]

[DOI]

Steffen van Bakel

Theor. Comput. Sci., 2002

The Semantics of Entailment Omega.

[BibT_eX]

[DOI]

Robert K. Meyer

Notre Dame J. Formal Log., 2002

The Relevance of Semantic Subtyping.

[BibT_eX]

[DOI]

Alain Frisch

Proceedings of the Intersection Types and Related Systems, 2002

Intersection Types and Lambda Theories

[BibT_eX]

[DOI]

Stefania Lusin

CoRR, 2002

A Fully Abstract Model for Higher-Order Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2002

Two Behavioural Lambda Models.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

Characterising Strong Normalisation for Explicit Substitutions.

[BibT_eX]

[DOI]

Steffen van Bakel

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2001

Approximation Theorems for Intersection Type Systems.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

From Bohm's Theorem to Observational Equivalences: an Informal Account.

[BibT_eX]

[DOI]

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

A Fully Abstract Model for Mobile Ambients.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

A Type Inference Algorithm for Secure Ambients.

[BibT_eX]

[DOI]

Ivano Salvo

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Filter Models and Easy Terms.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Fickle : Dynamic Object Re-classification.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001, 2001

2000

Böhm's theorem for Berarducci trees.

[BibT_eX]

[DOI]

Paula Severi

Proceedings of the Computing: the Australasian Theory Symposium, 2000

Compositional Characterizations of lambda-Terms Using Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Intersection Types and Properties of Lambda Terms.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

A Complete Characterization of the Complete Intersection-Type Theories.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Security Types for Mobile Safe Ambients.

[BibT_eX]

[DOI]

Ivano Salvo

Proceedings of the Advances in Computing Science, 2000

1999

Infinite lambda-Calculus and Types.

[BibT_eX]

[DOI]

Alessandro Berarducci

Theor. Comput. Sci., 1999

Preface.

[BibT_eX]

[DOI]

Giuseppe Longo

Jonathan P. Seldin

Math. Struct. Comput. Sci., 1999

A filter model for mobile processes.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1999

Discrimination by Parallel Observers: The Algorithm.

[BibT_eX]

[DOI]

Jerzy Tiuryn

Pawel Urzyczyn

Inf. Comput., 1999

A Subtyping for Extensible, Incomplete Objects.

[BibT_eX]

[DOI]

Viviana Bono

Luigi Liquori

Fundam. Informaticae, 1999

1998

A Filter Model for Concurrent lambda-Calculus.

[BibT_eX]

[DOI]

SIAM J. Comput., 1998

Types for trees.

[BibT_eX]

Proceedings of the Programming Concepts and Methods, 1998

1997

The "Relevance" of Intersection and Union Types.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1997

A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).

[BibT_eX]

[DOI]

Viviana Bono

Luigi Liquori

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Discrimination by Parallel Observers.

[BibT_eX]

[DOI]

Jerzy Tiuryn

Pawel Urzyczyn

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

Filter Models for Conjunctive-Disjunctive lambda-Calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

1995

Intersection and Union Types: Syntax and Semantics

[BibT_eX]

[DOI]

Inf. Comput., June, 1995

1994

Preface

[BibT_eX]

Inf. Comput., 1994

Combining Type Disciplines.

[BibT_eX]

[DOI]

Felice Cardone

Ann. Pure Appl. Log., 1994

Fully Abstract Semantics for Concurrent Lambda-calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

May and Must Convergencey in Concurrent Lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993

Filter Models for a Parallel and Non Deterministic Lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992

Intersection Types for Combinatory Logic.

[BibT_eX]

[DOI]

J. Roger Hindley

Theor. Comput. Sci., 1992

1991

Intersection and Union Types.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

Partial Types and Intervals.

[BibT_eX]

[DOI]

SIAM J. Comput., 1990

1987

Type Theories, Normal Forms and D_\infty-Lambda-Models

[BibT_eX]

[DOI]

Inf. Comput., February, 1987

Polymorphic types, fixed-point combinators and continuous lambda-models.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986

A Characterization of F-Complete Type Assignments.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

1984

F-Semantics for Intersection Type Discipline.

[BibT_eX]

[DOI]

Proceedings of the Semantics of Data Types, International Symposium, 1984

1983

A Filter Lambda Model and the Completeness of Type Assignment.

[BibT_eX]

[DOI]

Henk Barendregt

J. Symb. Log., 1983

Applicative Information Systems.

[BibT_eX]

[DOI]

Giuseppe Longo

Proceedings of the CAAP'83, 1983

1981

Functional Characters of Solvable Terms.

[BibT_eX]

[DOI]

Math. Log. Q., 1981

1980

An extension of the basic functionality theory for the λ-calculus.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1980

1979

A Discrimination Algorithm Inside lambda-beta-Calculus.

[BibT_eX]

[DOI]

P. Peretti

Theor. Comput. Sci., 1979

Complexity of lambda-term reductions.

[BibT_eX]

[DOI]

Lorenza Saitta

RAIRO Theor. Informatics Appl., 1979

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.

[BibT_eX]

[DOI]

Patrick Sallé

Proceedings of the Automata, 1979

1978

A new type assignment for λ-terms.

[BibT_eX]

[DOI]

Arch. Math. Log., 1978

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1978

1977

Termination Tests inside lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1977

1976

Characterization of Normal Forms Possessing Inverse in the lambda-beta-eta-Calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1976

1975

Lambda-terms as total or partial functions on normal forms.

[BibT_eX]

[DOI]

Proceedings of the Lambda-Calculus and Computer Science Theory, 1975

1974

A parenthesis machine for string manipulation.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1974

Listing of information structures defined by fixed-point operators.

[BibT_eX]

[DOI]

Proceedings of the Programming Symposium, 1974

Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

Combinatorial Problems, Combinator Equations and Normal Forms.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1973

Notes on "A CUCH-machine: The automatic treatment of bound variables".

[BibT_eX]

[DOI]

Mariangiola Dezani

Int. J. Parallel Program., 1973

1972

A CUCH-machine: The automatic treatment of bound variables.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1972

Can Syntax Be Ignored during Translation?

[BibT_eX]