Must Preorder in Non-Deterministic Untyped Lambda-Calculus. - Ugo de'Liguoro; Adolfo Piperno (CAAP, 1992)

Retracts in simply typed lambda-beta-eta-calculus - Ugo de'Liguoro; Adolfo Piperno; Richard Statman (LICS, 1992)

Filter Models for a Parallel and Non Deterministic Lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (MFCS, 1993)

May and Must Convergencey in Concurrent Lambda-Calculus. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (MFCS, 1994)

Fully Abstract Semantics for Concurrent Lambda-calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (TACS, 1994)

Combining Type Disciplines. - Felice Cardone; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Ann. Pure Appl. Log., 1994)

Non Deterministic Extensions of Untyped Lambda-Calculus. - Ugo de'Liguoro; Adolfo Piperno (Inf. Comput., 1995)

Intersection and Union Types: Syntax and Semantics - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Inf. Comput., 1995)

Filter Models for Conjunctive-Disjunctive lambda-Calculi. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (Theor. Comput. Sci., 1996)

A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. - Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Fundam. Informaticae, 1997)

A Filter Model for Concurrent lambda-Calculus. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Adolfo Piperno (SIAM J. Comput., 1998)

Total Functionals and Well-Founded Strategies. - Stefano Berardi; Ugo de'Liguoro (TLCA, 1999)

Characterizing Convergent Terms in Object Calculi via Intersection Types. - Ugo de'Liguoro (TLCA, 2001)

Subtyping in Logical Form. - Ugo de'Liguoro (ITRS, 2002)

Logical Semantics for the First Order varsigma-Calculus. - Steffen van Bakel; Ugo de'Liguoro (ICTCS, 2003)

Type Assignement for Mobile Objects. - Franco Barbanera; Ugo de'Liguoro (COMETA, 2003)

Subtyping Object and Recursive Types Logically. - Steffen van Bakel; Ugo de'Liguoro (ICTCS, 2005)

On Progress for Structured Communications. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Nobuko Yoshida (TGC, 2007)

A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). - Stefano Berardi; Ugo de'Liguoro (CSL, 2008)

Logical Equivalence for Subtyping Object and Recursive Types. - Steffen van Bakel; Ugo de'Liguoro (Theory Comput. Syst., 2008)

Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. - Stefano Berardi; Ugo de'Liguoro (Theor. Comput. Sci., 2008)

Typing Asymmetric Client-Server Interaction. - Franco Barbanera; Sara Capecchi; Ugo de'Liguoro (FSEN, 2009)

Sessions and Session Types: An Overview. - Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (WS-FM, 2009)

Toward the interpretation of non-constructive reasoning as non-monotonic learning. - Stefano Berardi; Ugo de'Liguoro (Inf. Comput., 2009)

Two notions of sub-behaviour for session-based client/server systems. - Franco Barbanera; Ugo de'Liguoro (PPDP, 2010)

Interactive Realizers and Monads - Stefano Berardi; Ugo de'Liguoro (CoRR, 2010)

A Filter Model for the λμ-Calculus - (Extended Abstract). - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (TLCA, 2011)

Characterisation of Strongly Normalising lambda-mu-Terms. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (ITRS, 2012)

Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs. - Stefano Berardi; Ugo de'Liguoro (ACM Trans. Comput. Log., 2012)

Non-monotonic Pre-fixed Points and Learning. - Stefano Berardi; Ugo de'Liguoro (FICS, 2013)

Compliance for reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (BEAT, 2014)

Loosening the notions of compliance and sub-behaviour in client/server systems. - Franco Barbanera; Ugo de'Liguoro (ICE, 2014)

Knowledge Spaces and the Completeness of Learning Strategies. - Stefano Berardi; Ugo de'Liguoro (Log. Methods Comput. Sci., 2014)

Typing Classes and Mixins with Intersection Types. - Jan Bessai; Boris Düdder; Andrej Dudenhefner; Tzu-Chun Chen; Ugo de'Liguoro (ITRS, 2014)

Orchestrated Session Compliance. - Franco Barbanera; Steffen van Bakel; Ugo de'Liguoro (ICE, 2015)

Retractable Contracts. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivan Lanese; Ugo de'Liguoro (PLACES, 2015)

Sub-behaviour relations for session-based client/server systems. - Franco Barbanera; Ugo de'Liguoro (Math. Struct. Comput. Sci., 2015)

A Realizability Interpretation for Intersection and Union Types. - Daniel J. Dougherty; Ugo de'Liguoro; Luigi Liquori; Claude Stolze (APLAS, 2016)

A Game Interpretation of Retractable Contracts. - Franco Barbanera; Ugo de'Liguoro (COORDINATION, 2016)

Secure Multiparty Sessions with Topics. - Ilaria Castellani; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PLACES, 2016)

Reversible client/server interactions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (Formal Aspects Comput., 2016)

Retractable and Speculative Contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (COORDINATION, 2017)

Session Types for Orchestrated Interactions. - Franco Barbanera; Ugo de'Liguoro (ICE@DisCoTec, 2017)

Non-monotonic Pre-fix Points and Learning. - Stefano Berardi; Ugo de'Liguoro (Fundam. Informaticae, 2017)

Retractability, games and orchestrators for session contracts. - Franco Barbanera; Ugo de'Liguoro (Log. Methods Comput. Sci., 2017)

The approximation theorem for the Λμ-calculus. - Ugo de'Liguoro (Math. Struct. Comput. Sci., 2017)

Mailbox Types for Unordered Interactions. - Ugo de'Liguoro; Luca Padovani (ECOOP, 2018)

Global Types for Open Systems. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (ICE, 2018)

Intersection Types for the lambda-mu Calculus. - Steffen van Bakel; Franco Barbanera; Ugo de'Liguoro (Log. Methods Comput. Sci., 2018)

Mixin Composition Synthesis based on Intersection Types. - Jan Bessai; Tzu-Chun Chen; Andrej Dudenhefner; Boris Düdder; Ugo de'Liguoro; Jakob Rehof (Log. Methods Comput. Sci., 2018)

A theory of retractable and speculative contracts. - Franco Barbanera; Ivan Lanese; Ugo de'Liguoro (Sci. Comput. Program., 2018)

Intersection Types for the Computational lambda-Calculus. - Ugo de'Liguoro; Riccardo Treglia (ICTCS, 2019)

Connecting open systems of communicating finite state machines. - Franco Barbanera; Ugo de'Liguoro; Rolf Hennicker (J. Log. Algebraic Methods Program., 2019)

Session types and subtyping for orchestrated interactions. - Franco Barbanera; Ugo de'Liguoro (J. Log. Algebraic Methods Program., 2019)

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. - Franco Barbanera; Ugo de'Liguoro (PPDP, 2020)

The untyped computational λ-calculus and its intersection type discipline. - Ugo de'Liguoro; Riccardo Treglia (Theor. Comput. Sci., 2020)

A Filter Model for the State Monad. - Ugo de'Liguoro; Riccardo Treglia (ICTCS, 2021)

Intersection types for a λ-calculus with global store. - Ugo de'Liguoro; Riccardo Treglia (PPDP, 2021)

Intersection Types for a Computational Lambda-Calculus with Global State. - Ugo de'Liguoro; Riccardo Treglia (CoRR, 2021)

From Semantics to Types: the Case of the Imperative lambda-Calculus. - Ugo de'Liguoro; Riccardo Treglia (MFPS, 2021)

Open Compliance in Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (FACS, 2022)

Towards refinable choreographies. - Ugo de'Liguoro; Hernán C. Melgratti; Emilio Tuosto (J. Log. Algebraic Methods Program., 2022)

On reduction and normalization in the computational core. - Claudia Faggian; Giulio Guerrieri; Ugo de'Liguoro; Riccardo Treglia (Math. Struct. Comput. Sci., 2022)

Partial Typing for Asynchronous Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (DCM, 2023)

From semantics to types: The case of the imperative λ-calculus. - Ugo de'Liguoro; Riccardo Treglia (Theor. Comput. Sci., 2023)

YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro; Betti Venneri (Logics and Type Systems in Theory and Practice, 2024)

Un-projectable Global Types for Multiparty Sessions. - Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ugo de'Liguoro (PPDP, 2024)