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 

Ugo de' Liguoro
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
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.
Barbanera and de' Liguoro"Retractability, games and orchestrators for session contracts"
Unpublished: submitted for publication.
Barbanera, Lanese and de' Liguoro"Retractable and Speculative Contracts"
In proceedings: COORDINATION'17.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
Article: Fundamenta Informaticae.

2016
Barbanera and de' Liguoro"A Game Interpretation of Retractable Contracts"
In proceedings: COORDINATION'16.
Barbanera, Dezani-Ciancaglini, Lanese and de' Liguoro"Retractable Contracts"
In proceedings: PLACES'15.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Reversible client/server interactions"
Article: Formal Aspects of Computing.
Castellani, Dezani-Ciancaglini and de' Liguoro"Secure Multiparty Sessions with Topics"
In proceedings.
Danvy and de' Liguoro"Proceedings of the Workshop on Continuations, WoC 2015, London, UK, April 12th 2015"
Conference proceedings.
Dougherty, de' Liguoro, Liquori and Stolze"A Realizability Interpretation for Intersection and Union Types"
In proceedings: APLAS 2016.

2015
Barbanera, van Bakel and de' Liguoro"Orchestrated Session Compliance"
In proceedings: ICE'15.
Barbanera and de' Liguoro"Sub-behaviour relations for session-based client/server systems"
Article: Mathematical Structures in Computer Science.
Bessai, Dudenhefner, Düdder, Chen, de' Liguoro and Rehof"Mixin Composition Synthesis Based on Intersection Types"
In proceedings: TLCA'15.
Bessai, Düdder, Dudenhefner, Chen and de' Liguoro"Typing Classes and Mixins with Intersection Types"
In proceedings: ITRS'14.
de' Liguoro"The Approximation Theorem for the Λμ-Calculus"
Article: Mathematical Structures in Computer Science.

2014
van Bakel, Barbanera and de' Liguoro"Intersection Types for the lambda-mu Calculus"
Unpublished.
Barbanera, Dezani-Ciancaglini and de' Liguoro"Compliance for reversible client/server interactions"
In proceedings: BEAT'14.
Barbanera and de' Liguoro"Loosening the notions of compliance and sub-behaviour in client/server systems"
In proceedings: ICE'14.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies (full version)"
Article: Logical Methods in Computer Science.
de' Liguoro and Chen"Semantic Types for Classes and Mixins"
Unpublished: ITRS14.

2013
van Bakel, Barbanera and de' Liguoro"Characterisation of Strongly Normalising λμ-Terms"
In proceedings: ITRS'12.
Berardi and de' Liguoro"Non-monotonic pre-fix points and Learning"
In proceedings: FICS'13.

2012
Berardi and de' Liguoro"Interactive realizers. A new approach to program extraction from non constructive proofs"
Article: ACM Transactions on Computational Logic.
Berardi and de' Liguoro"Knowledge Spaces and the Completeness of Learning Strategies"
In proceedings: CSL'12.

2011
van Bakel, Barbanera and de' Liguoro"A Filter Model for λμ"
In proceedings: TLCA'12.

2010
Barbanera and de' Liguoro"Two Notions of Sub-behaviour for Session-based Client/Server Systems"
In proceedings: PPDP'10.
Barbanera, Capecchi and de' Liguoro"Typing Asymmetric Client-Server Interaction"
In proceedings: FSEN'09.
Berardi and de' Liguoro"Interactive Realizers and Monads"
Unpublished.
Dezani-Ciancaglini and de' Liguoro"Sessions and Session Types: an Overview"
In proceedings: WS-FM'09.

2009
Berardi and de' Liguoro"Toward the interpretation of non-constructive reasoning as non-monotonic learning"
Article: Information and Computation.
Berardi, Damiani and de' Liguoro"Types for Proofs and Programs (International Conference TYPES 2008, Revised Selected Papers)"
Book: LNCS, volume 5497, Springer.

2008
van Bakel and de' Liguoro"Logical equivalence for subtyping and recursive types"
Article: Theory of Computing Systems.
Berardi and de' Liguoro"A Calculus of Realizers for EM1 Arithmetic"
In proceedings: CSL'8.
Dezani-Ciancaglini, de' Liguoro and Yoshida"On Progress for Structured Communications"
In proceedings: TGC'07.

2007
Berardi and de' Liguoro"Limit of learning sequences with retractable guesses"
Technical report.

2005
van Bakel and de' Liguoro"Subtyping object and recursive types logically"
In proceedings: ICTCS'05.

2004
Barbanera and de' Liguoro"Type Assignement for Mobile Objects"
In proceedings: COMETA'03.

2003
van Bakel and de' Liguoro"Logical Semantics for the First Order Sigma-Calculus"
In proceedings: ICTCS'03.

2002
de' Liguoro"Subtyping in logical form"
In proceedings: ITRS'02.

2001
de' Liguoro"Characterizing convergent terms in object calculi via intersection types"
In proceedings: TLCA'01.

2000
van Bakel, Dezani-Ciancaglini, de' Liguoro and Motohama"The Minimal Relevant Logic and the Call-by-Value Lambda Calculus"
Technical report.

1999
Berardi and de' Liguoro"Total Functionals and Well-Founded Strategies"
In proceedings: TLCA'99.

1998
Dezani-Ciancaglini, de' Liguoro and Piperno"A Filter Model for Concurrent Lambda-Calculus"
Article: Siam Journal on Computing.
Dezani-Ciancaglini, Giovannetti and de' Liguoro"Intersection Types, Lambda-models and Böhm Trees"
In a collection: Mathematical Society of Japan.

1997
Alessi, Dezani-Ciancaglini and de' Liguoro"A Convex Powerdomain over Lattices: its Logic and λ-Calculus"
Article: Fundamenta Informaticae.

1996
Dezani-Ciancaglini, de' Liguoro and Piperno"Filter Models for Conjunctive-Disjunctive Lambda-Calculi"
Article: Theoretical Computer Science.
de' Liguoro"PCF Definability via Kripke Logical Relations (after O'Hearn and Riecke)"
Technical report.

1995
Barbanera, Dezani-Ciancaglini and de' Liguoro"Intersection and Union Types: Syntax and Semantics"
Article: Information and Computation.
de' Liguoro and Piperno"Nondeterministic Extensions of Untyped λ-Calculus"
Article: Information and Computation.

1994
Cardone, Dezani-Ciancaglini and de' Liguoro"Combining Type Disciplines"
Article: Annals of Pure and Applied Logic.
Dezani-Ciancaglini, de' Liguoro and Piperno"Fully Abstract Semantics for Concurrent Lambda-calculus"
In proceedings: TACS '94.

1992
de' Liguoro, Piperno and Statman"Retracts in simply typed λ-βη calculus"
In proceedings: LICS '92.

1991
de' Liguoro"Non-deterministic untyped λ-calculus. A study about explicit non determinism in higher-order functional calculi"
PhD thesis.

 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!