Ugo de'Liguoro

Proceedings of the Proceedings 8th Interaction and Concurrency Experience, 2015

2014

Typing Classes and Mixins with Intersection Types.

[BibT_eX]

[DOI]

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

Knowledge Spaces and the Completeness of Learning Strategies.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2014

Loosening the notions of compliance and sub-behaviour in client/server systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Compliance for reversible client/server interactions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

2013

Non-monotonic Pre-fixed Points and Learning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

2012

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2012

Characterisation of Strongly Normalising lambda-mu-Terms.

[BibT_eX]

[DOI]

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

2011

A Filter Model for the λμ-Calculus - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010

Interactive Realizers and Monads

[BibT_eX]

[DOI]

CoRR, 2010

Two notions of sub-behaviour for session-based client/server systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

Toward the interpretation of non-constructive reasoning as non-monotonic learning.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Sessions and Session Types: An Overview.

[BibT_eX]

[DOI]

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

Typing Asymmetric Client-Server Interaction.

[BibT_eX]

[DOI]

Sara Capecchi

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Logical Equivalence for Subtyping Object and Recursive Types.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

On Progress for Structured Communications.

[BibT_eX]

[DOI]

Nobuko Yoshida

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2005

Subtyping Object and Recursive Types Logically.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2003

Type Assignement for Mobile Objects.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Logical Semantics for the First Order varsigma-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

Subtyping in Logical Form.

[BibT_eX]

[DOI]

Proceedings of the Intersection Types and Related Systems, 2002

2001

Characterizing Convergent Terms in Object Calculi via Intersection Types.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

1999

Total Functionals and Well-Founded Strategies.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

A Filter Model for Concurrent lambda-Calculus.

[BibT_eX]

[DOI]

SIAM J. Comput., 1998

1997

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

[BibT_eX]

[DOI]

Fabio Alessi

Fundam. Informaticae, 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

Non Deterministic Extensions of Untyped Lambda-Calculus.

[BibT_eX]

[DOI]

Inf. Comput., 1995

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]

Fabio Alessi

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

Retracts in simply typed lambda-beta-eta-calculus

[BibT_eX]

[DOI]

Richard Statman

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Must Preorder in Non-Deterministic Untyped Lambda-Calculus.

[BibT_eX]

[DOI]