Ugo de'Liguoro

85 papers A* 1A 1B 6C 6Journal 36Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday.
CoRR
Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani, Ugo de'Liguoro
2025 J jnl
Intersection Types for a Computational Lambda-Calculus with Global State.
Fundam. Informaticae
Ugo de'Liguoro, Riccardo Treglia
2024 — ed.
Proceedings of the 25th Italian Conference on Theoretical Computer Science, Torino, Italy, September 11-13, 2024.
ICTCS
Ugo de'Liguoro, Matteo Palazzo, Luca Roversi
2024 C conf
Un-projectable Global Types for Multiparty Sessions.
PPDP
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2024 — conf
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity.
Logics and Type Systems in Theory and Practice
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
2023 J jnl
From semantics to types: The case of the imperative
Theor. Comput. Sci.
Ugo de'Liguoro, Riccardo Treglia
2023 — conf
Partial Typing for Asynchronous Multiparty Sessions.
DCM
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2022 J jnl
On reduction and normalization in the computational core.
Math. Struct. Comput. Sci.
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2022 — conf
Open Compliance in Multiparty Sessions.
FACS
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2022 J jnl
Towards refinable choreographies.
J. Log. Algebraic Methods Program.
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2021 — ed.
26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020
TYPES
Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
2021 — conf
A Filter Model for the State Monad.
ICTCS
Ugo de'Liguoro, Riccardo Treglia
2021 B conf
From Semantics to Types: the Case of the Imperative lambda-Calculus.
MFPS
Ugo de'Liguoro, Riccardo Treglia
2021 J jnl
Intersection Types for a Computational Lambda-Calculus with Global State.
CoRR
Ugo de'Liguoro, Riccardo Treglia
2021 C conf
Intersection types for a λ-calculus with global store.
PPDP
Ugo de'Liguoro, Riccardo Treglia
2021 J jnl
On reduction and normalization in the computational core.
CoRR
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2020 J jnl
The untyped computational
Theor. Comput. Sci.
Ugo de'Liguoro, Riccardo Treglia
2020 — conf
Towards Refinable Choreographies.
ICE
Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
2020 C conf
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later.
PPDP
Franco Barbanera, Ugo de'Liguoro
2019 J jnl
Connecting open systems of communicating finite state machines.
J. Log. Algebraic Methods Program.
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2019 — conf
Intersection Types for the Computational lambda-Calculus.
ICTCS
Ugo de'Liguoro, Riccardo Treglia
2019 J jnl
Intersection Types for the Computational lambda-Calculus.
CoRR
Ugo de'Liguoro, Riccardo Treglia
2019 J jnl
Session types and subtyping for orchestrated interactions.
J. Log. Algebraic Methods Program.
Franco Barbanera, Ugo de'Liguoro
2018 J jnl
A theory of retractable and speculative contracts.
Sci. Comput. Program.
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2018 — conf
Global Types for Open Systems.
ICE
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
2018 J jnl
Intersection Types for the lambda-mu Calculus.
Log. Methods Comput. Sci.
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2018 A conf
Mailbox Types for Unordered Interactions.
ECOOP
Ugo de'Liguoro, Luca Padovani
2018 J jnl
Mailbox Types for Unordered Interactions.
CoRR
Ugo de'Liguoro, Luca Padovani
2018 J jnl
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci.
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 J jnl
Intersection Types for the lambda-mu Calculus.
CoRR
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2017 J jnl
Mixin Composition Synthesis based on Intersection Types.
CoRR
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 J jnl
Non-monotonic Pre-fix Points and Learning.
Fundam. Informaticae
Stefano Berardi, Ugo de'Liguoro
2017 J jnl
Orchestrated session compliance.
J. Log. Algebraic Methods Program.
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2017 J jnl
Retractability, games and orchestrators for session contracts.
CoRR
Franco Barbanera, Ugo de'Liguoro
2017 J jnl
Retractability, games and orchestrators for session contracts.
Log. Methods Comput. Sci.
Franco Barbanera, Ugo de'Liguoro
2017 C conf
Retractable and Speculative Contracts.
COORDINATION
Franco Barbanera, Ivan Lanese, Ugo de'Liguoro
2017 — conf
Session Types for Orchestrated Interactions.
ICE@DisCoTec
Franco Barbanera, Ugo de'Liguoro
2017 J jnl
The approximation theorem for the Λμ-calculus.
Math. Struct. Comput. Sci.
Ugo de'Liguoro
2016 C conf
A Game Interpretation of Retractable Contracts.
COORDINATION
Franco Barbanera, Ugo de'Liguoro
2016 B conf
A Realizability Interpretation for Intersection and Union Types.
APLAS
Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
2016 — ed.
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015.
WoC
Olivier Danvy, Ugo de'Liguoro
2016 J jnl
Reversible client/server interactions.
Formal Aspects Comput.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2016 — conf
Secure Multiparty Sessions with Topics.
PLACES
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2015 — conf
Mixin Composition Synthesis Based on Intersection Types.
TLCA
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
2015 — conf
Orchestrated Session Compliance.
ICE
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
2015 — conf
Retractable Contracts.
PLACES
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
2015 J jnl
Sub-behaviour relations for session-based client/server systems.
Math. Struct. Comput. Sci.
Franco Barbanera, Ugo de'Liguoro
2014 — conf
Compliance for reversible client/server interactions.
BEAT
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2014 J jnl
Knowledge Spaces and the Completeness of Learning Strategies.
Log. Methods Comput. Sci.
Stefano Berardi, Ugo de'Liguoro
2014 — conf
Loosening the notions of compliance and sub-behaviour in client/server systems.
ICE
Franco Barbanera, Ugo de'Liguoro
2014 — conf
Typing Classes and Mixins with Intersection Types.
ITRS
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
2013 — conf
Non-monotonic Pre-fixed Points and Learning.
FICS
Stefano Berardi, Ugo de'Liguoro
2013 — ed.
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013.
COS
Ugo de'Liguoro, Alexis Saurin
2012 — conf
Characterisation of Strongly Normalising lambda-mu-Terms.
ITRS
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2012 J jnl
Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.
ACM Trans. Comput. Log.
Stefano Berardi, Ugo de'Liguoro
2012 B conf
Knowledge Spaces and the Completeness of Learning Strategies.
CSL
Stefano Berardi, Ugo de'Liguoro
2012 — ed.
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012.
CL&C
Herman Geuvers, Ugo de'Liguoro
2011 — conf
A Filter Model for the
TLCA
Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
2010 J jnl
Interactive Realizers and Monads
CoRR
Stefano Berardi, Ugo de'Liguoro
2010 C conf
Two notions of sub-behaviour for session-based client/server systems.
PPDP
Franco Barbanera, Ugo de'Liguoro
2009 — conf
Sessions and Session Types: An Overview.
WS-FM
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
2009 J jnl
Toward the interpretation of non-constructive reasoning as non-monotonic learning.
Inf. Comput.
Stefano Berardi, Ugo de'Liguoro
2009 — ed.
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers
TYPES
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro
2009 — conf
Typing Asymmetric Client-Server Interaction.
FSEN
Franco Barbanera, Sara Capecchi, Ugo de'Liguoro
2008 B conf
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).
CSL
Stefano Berardi, Ugo de'Liguoro
2008 J jnl
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca.
Theor. Comput. Sci.
Stefano Berardi, Ugo de'Liguoro
2008 J jnl
Logical Equivalence for Subtyping Object and Recursive Types.
Theory Comput. Syst.
Steffen van Bakel, Ugo de'Liguoro
2007 — conf
On Progress for Structured Communications.
TGC
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida
2005 — conf
Subtyping Object and Recursive Types Logically.
ICTCS
Steffen van Bakel, Ugo de'Liguoro
2003 — conf
Logical Semantics for the First Order varsigma-Calculus.
ICTCS
Steffen van Bakel, Ugo de'Liguoro
2003 — conf
Type Assignement for Mobile Objects.
COMETA
Franco Barbanera, Ugo de'Liguoro
2002 — conf
Subtyping in Logical Form.
ITRS
Ugo de'Liguoro
2001 — conf
Characterizing Convergent Terms in Object Calculi via Intersection Types.
TLCA
Ugo de'Liguoro
1999 — conf
Total Functionals and Well-Founded Strategies.
TLCA
Stefano Berardi, Ugo de'Liguoro
1998 J jnl
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1997 J jnl
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Informaticae
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1996 J jnl
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1995 J jnl
Intersection and Union Types: Syntax and Semantics
Inf. Comput.
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1995 J jnl
Non Deterministic Extensions of Untyped Lambda-Calculus.
Inf. Comput.
Ugo de'Liguoro, Adolfo Piperno
1994 J jnl
Combining Type Disciplines.
Ann. Pure Appl. Log.
Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1994 — conf
Fully Abstract Semantics for Concurrent Lambda-calculus.
TACS
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1994 B conf
May and Must Convergencey in Concurrent Lambda-Calculus.
MFCS
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
1993 B conf
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
MFCS
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno
1992 — conf
Must Preorder in Non-Deterministic Untyped Lambda-Calculus.
CAAP
Ugo de'Liguoro, Adolfo Piperno
1992 A* conf
Retracts in simply typed lambda-beta-eta-calculus
LICS
Ugo de'Liguoro, Adolfo Piperno, Richard Statman