Ugo de'Liguoro

Orcid: 0000-0003-4609-2783

Affiliations:
  • University of Turin, Italy


According to our database1, Ugo de'Liguoro authored at least 64 papers between 1992 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
From semantics to types: The case of the imperative <i>λ</i>-calculus.
Theor. Comput. Sci., September, 2023

2022
On reduction and normalization in the computational core.
Math. Struct. Comput. Sci., August, 2022

Open Compliance in Multiparty Sessions.
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021
From Semantics to Types: the Case of the Imperative lambda-Calculus.
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Intersection Types for a Computational Lambda-Calculus with Global State.
CoRR, 2021

Intersection types for a λ-calculus with global store.
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

A Filter Model for the State Monad.
Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020
The untyped computational <i>λ</i>-calculus and its intersection type discipline.
Theor. Comput. Sci., 2020

Towards Refinable Choreographies.
Proceedings of the Proceedings 13th Interaction and Concurrency Experience, 2020

Two notions of sub-behaviour for session-based client/server systems: 10 Years Later.
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

2019
Session types and subtyping for orchestrated interactions.
J. Log. Algebraic Methods Program., 2019

Connecting open systems of communicating finite state machines.
J. Log. Algebraic Methods Program., 2019

Intersection Types for the Computational lambda-Calculus.
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

2018
A theory of retractable and speculative contracts.
Sci. Comput. Program., 2018

Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci., 2018

Intersection Types for the lambda-mu Calculus.
Log. Methods Comput. Sci., 2018

Global Types for Open Systems.
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Mailbox Types for Unordered Interactions.
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017
The approximation theorem for the Λμ-calculus.
Math. Struct. Comput. Sci., 2017

Retractability, games and orchestrators for session contracts.
Log. Methods Comput. Sci., 2017

Orchestrated session compliance.
J. Log. Algebraic Methods Program., 2017

Non-monotonic Pre-fix Points and Learning.
Fundam. Informaticae, 2017

Session Types for Orchestrated Interactions.
Proceedings of the Proceedings 10th Interaction and Concurrency Experience, 2017

Retractable and Speculative Contracts.
Proceedings of the Coordination Models and Languages, 2017

2016
Reversible client/server interactions.
Formal Aspects Comput., 2016

Secure Multiparty Sessions with Topics.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

A Game Interpretation of Retractable Contracts.
Proceedings of the Coordination Models and Languages, 2016

A Realizability Interpretation for Intersection and Union Types.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Sub-behaviour relations for session-based client/server systems.
Math. Struct. Comput. Sci., 2015

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

2014
Typing Classes and Mixins with Intersection Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Knowledge Spaces and the Completeness of Learning Strategies.
Log. Methods Comput. Sci., 2014

Loosening the notions of compliance and sub-behaviour in client/server systems.
Proceedings of the Proceedings 7th Interaction and Concurrency Experience, 2014

Compliance for reversible client/server interactions.
Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

2013
Non-monotonic Pre-fixed Points and Learning.
Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

2012
Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs.
ACM Trans. Comput. Log., 2012

Characterisation of Strongly Normalising lambda-mu-Terms.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2011
A Filter Model for the <i>λμ</i>-Calculus - (Extended Abstract).
Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2010
Interactive Realizers and Monads
CoRR, 2010

Two notions of sub-behaviour for session-based client/server systems.
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.
Inf. Comput., 2009

Sessions and Session Types: An Overview.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

Typing Asymmetric Client-Server Interaction.
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.
Theor. Comput. Sci., 2008

Logical Equivalence for Subtyping Object and Recursive Types.
Theory Comput. Syst., 2008

A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007
On Progress for Structured Communications.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2005
Subtyping Object and Recursive Types Logically.
Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2003
Type Assignement for Mobile Objects.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Logical Semantics for the First Order varsigma-Calculus.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002
Subtyping in Logical Form.
Proceedings of the Intersection Types and Related Systems, 2002

2001
Characterizing Convergent Terms in Object Calculi via Intersection Types.
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

1999
Total Functionals and Well-Founded Strategies.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998
A Filter Model for Concurrent lambda-Calculus.
SIAM J. Comput., 1998

1997
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus.
Fundam. Informaticae, 1997

1996
Filter Models for Conjunctive-Disjunctive lambda-Calculi.
Theor. Comput. Sci., 1996

1995
Intersection and Union Types: Syntax and Semantics
Inf. Comput., June, 1995

Non Deterministic Extensions of Untyped Lambda-Calculus.
Inf. Comput., 1995

1994
Combining Type Disciplines.
Ann. Pure Appl. Log., 1994

Fully Abstract Semantics for Concurrent Lambda-calculus.
Proceedings of the Theoretical Aspects of Computer Software, 1994

May and Must Convergencey in Concurrent Lambda-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1994, 1994

1993
Filter Models for a Parallel and Non Deterministic Lambda-Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

1992
Retracts in simply typed lambda-beta-eta-calculus
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Must Preorder in Non-Deterministic Untyped Lambda-Calculus.
Proceedings of the CAAP '92, 1992


  Loading...