![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ugo de'Liguoro
Person information
- affiliation: University of Turin, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c41]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri:
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice 2024: 17-35 - 2023
- [j26]Ugo de'Liguoro
, Riccardo Treglia
:
From semantics to types: The case of the imperative λ-calculus. Theor. Comput. Sci. 973: 114082 (2023) - 2022
- [j25]Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto
:
Towards refinable choreographies. J. Log. Algebraic Methods Program. 127: 100776 (2022) - [j24]Claudia Faggian, Giulio Guerrieri
, Ugo de'Liguoro, Riccardo Treglia
:
On reduction and normalization in the computational core. Math. Struct. Comput. Sci. 32(7): 934-981 (2022) - [c40]Franco Barbanera
, Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro
:
Open Compliance in Multiparty Sessions. FACS 2022: 222-243 - 2021
- [c39]Ugo de'Liguoro, Riccardo Treglia:
A Filter Model for the State Monad. ICTCS 2021: 281-286 - [c38]Ugo de'Liguoro, Riccardo Treglia:
Intersection types for a λ-calculus with global store. PPDP 2021: 5:1-5:11 - [c37]Ugo de'Liguoro, Riccardo Treglia:
From Semantics to Types: the Case of the Imperative lambda-Calculus. MFPS 2021: 168-183 - [e5]Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
:
26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. LIPIcs 188, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-182-5 [contents] - [i8]Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for a Computational Lambda-Calculus with Global State. CoRR abs/2104.01358 (2021) - [i7]Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia:
On reduction and normalization in the computational core. CoRR abs/2104.10267 (2021) - 2020
- [j23]Ugo de'Liguoro, Riccardo Treglia:
The untyped computational λ-calculus and its intersection type discipline. Theor. Comput. Sci. 846: 141-159 (2020) - [c36]Franco Barbanera, Ugo de'Liguoro:
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. PPDP 2020: 2:1-2:3 - [c35]Ugo de'Liguoro, Hernán C. Melgratti, Emilio Tuosto:
Towards Refinable Choreographies. ICE 2020: 61-77
2010 – 2019
- 2019
- [j22]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Connecting open systems of communicating finite state machines. J. Log. Algebraic Methods Program. 109 (2019) - [j21]Franco Barbanera, Ugo de'Liguoro:
Session types and subtyping for orchestrated interactions. J. Log. Algebraic Methods Program. 102: 103-137 (2019) - [c34]Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for the Computational lambda-Calculus. ICTCS 2019: 184-189 - [i6]Ugo de'Liguoro, Riccardo Treglia:
Intersection Types for the Computational lambda-Calculus. CoRR abs/1907.05706 (2019) - 2018
- [j20]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Intersection Types for the lambda-mu Calculus. Log. Methods Comput. Sci. 14(1) (2018) - [j19]Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner
, Boris Düdder
, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14(1) (2018) - [j18]Franco Barbanera, Ivan Lanese
, Ugo de'Liguoro:
A theory of retractable and speculative contracts. Sci. Comput. Program. 167: 25-50 (2018) - [c33]Ugo de'Liguoro, Luca Padovani:
Mailbox Types for Unordered Interactions. ECOOP 2018: 15:1-15:28 - [c32]Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Global Types for Open Systems. ICE 2018: 4-20 - [i5]Ugo de'Liguoro, Luca Padovani:
Mailbox Types for Unordered Interactions. CoRR abs/1801.04167 (2018) - 2017
- [j17]Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fix Points and Learning. Fundam. Informaticae 150(3-4): 259-280 (2017) - [j16]Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated session compliance. J. Log. Algebraic Methods Program. 86(1): 30-76 (2017) - [j15]Franco Barbanera, Ugo de'Liguoro:
Retractability, games and orchestrators for session contracts. Log. Methods Comput. Sci. 13(3) (2017) - [j14]Ugo de'Liguoro:
The approximation theorem for the Λμ-calculus. Math. Struct. Comput. Sci. 27(5): 560-580 (2017) - [c31]Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
Retractable and Speculative Contracts. COORDINATION 2017: 119-137 - [c30]Franco Barbanera, Ugo de'Liguoro:
Session Types for Orchestrated Interactions. ICE@DisCoTec 2017: 17-36 - [i4]Franco Barbanera, Ugo de'Liguoro:
Retractability, games and orchestrators for session contracts. CoRR abs/1701.06142 (2017) - [i3]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Intersection Types for the lambda-mu Calculus. CoRR abs/1704.00272 (2017) - [i2]Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder
, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis based on Intersection Types. CoRR abs/1712.06906 (2017) - 2016
- [j13]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Reversible client/server interactions. Formal Aspects Comput. 28(4): 697-722 (2016) - [c29]Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori
, Claude Stolze:
A Realizability Interpretation for Intersection and Union Types. APLAS 2016: 187-205 - [c28]Franco Barbanera, Ugo de'Liguoro:
A Game Interpretation of Retractable Contracts. COORDINATION 2016: 18-34 - [c27]Ilaria Castellani
, Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro:
Secure Multiparty Sessions with Topics. PLACES 2016: 1-12 - [e4]Olivier Danvy
, Ugo de'Liguoro:
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015. EPTCS 212, 2016 [contents] - 2015
- [j12]Franco Barbanera, Ugo de'Liguoro:
Sub-behaviour relations for session-based client/server systems. Math. Struct. Comput. Sci. 25(6): 1339-1381 (2015) - [c26]Jan Bessai, Andrej Dudenhefner
, Boris Düdder
, Tzu-Chun Chen
, Ugo de'Liguoro, Jakob Rehof:
Mixin Composition Synthesis Based on Intersection Types. TLCA 2015: 76-91 - [c25]Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated Session Compliance. ICE 2015: 21-36 - [c24]Franco Barbanera, Mariangiola Dezani-Ciancaglini
, Ivan Lanese, Ugo de'Liguoro:
Retractable Contracts. PLACES 2015: 61-72 - 2014
- [j11]Stefano Berardi, Ugo de'Liguoro:
Knowledge Spaces and the Completeness of Learning Strategies. Log. Methods Comput. Sci. 10(1) (2014) - [c23]Franco Barbanera, Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro:
Compliance for reversible client/server interactions. BEAT 2014: 35-42 - [c22]Jan Bessai, Boris Düdder, Andrej Dudenhefner
, Tzu-Chun Chen
, Ugo de'Liguoro:
Typing Classes and Mixins with Intersection Types. ITRS 2014: 79-93 - [c21]Franco Barbanera, Ugo de'Liguoro:
Loosening the notions of compliance and sub-behaviour in client/server systems. ICE 2014: 94-110 - 2013
- [c20]Stefano Berardi, Ugo de'Liguoro:
Non-monotonic Pre-fixed Points and Learning. FICS 2013: 1-10 - [e3]Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents] - 2012
- [j10]Stefano Berardi, Ugo de'Liguoro:
Interactive Realizers: A New Approach to Program Extraction from Nonconstructive Proofs. ACM Trans. Comput. Log. 13(2): 11:1-11:21 (2012) - [c19]Stefano Berardi, Ugo de'Liguoro:
Knowledge Spaces and the Completeness of Learning Strategies. CSL 2012: 77-91 - [c18]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
Characterisation of Strongly Normalising lambda-mu-Terms. ITRS 2012: 1-17 - [e2]Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents] - 2011
- [c17]Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro:
A Filter Model for the λμ-Calculus - (Extended Abstract). TLCA 2011: 213-228 - 2010
- [c16]Franco Barbanera, Ugo de'Liguoro:
Two notions of sub-behaviour for session-based client/server systems. PPDP 2010: 155-164 - [i1]Stefano Berardi, Ugo de'Liguoro:
Interactive Realizers and Monads. CoRR abs/1005.2907 (2010)
2000 – 2009
- 2009
- [j9]Stefano Berardi, Ugo de'Liguoro:
Toward the interpretation of non-constructive reasoning as non-monotonic learning. Inf. Comput. 207(1): 63-81 (2009) - [c15]Franco Barbanera, Sara Capecchi
, Ugo de'Liguoro:
Typing Asymmetric Client-Server Interaction. FSEN 2009: 97-112 - [c14]Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro:
Sessions and Session Types: An Overview. WS-FM 2009: 1-28 - [e1]Stefano Berardi, Ferruccio Damiani
, Ugo de'Liguoro:
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6 [contents] - 2008
- [j8]Steffen van Bakel, Ugo de'Liguoro:
Logical Equivalence for Subtyping Object and Recursive Types. Theory Comput. Syst. 42(3): 306-348 (2008) - [j7]Stefano Berardi, Ugo de'Liguoro:
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca. Theor. Comput. Sci. 398(1-3): 1-11 (2008) - [c13]Stefano Berardi, Ugo de'Liguoro:
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). CSL 2008: 215-229 - 2007
- [c12]Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro, Nobuko Yoshida
:
On Progress for Structured Communications. TGC 2007: 257-275 - 2005
- [c11]Steffen van Bakel, Ugo de'Liguoro:
Subtyping Object and Recursive Types Logically. ICTCS 2005: 66-80 - 2003
- [c10]Steffen van Bakel, Ugo de'Liguoro:
Logical Semantics for the First Order varsigma-Calculus. ICTCS 2003: 202-215 - [c9]Franco Barbanera, Ugo de'Liguoro:
Type Assignement for Mobile Objects. COMETA 2003: 25-38 - 2002
- [c8]Ugo de'Liguoro:
Subtyping in Logical Form. ITRS 2002: 72-87 - 2001
- [c7]Ugo de'Liguoro:
Characterizing Convergent Terms in Object Calculi via Intersection Types. TLCA 2001: 315-328
1990 – 1999
- 1999
- [c6]Stefano Berardi, Ugo de'Liguoro:
Total Functionals and Well-Founded Strategies. TLCA 1999: 54-68 - 1998
- [j6]Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro, Adolfo Piperno:
A Filter Model for Concurrent lambda-Calculus. SIAM J. Comput. 27(5): 1376-1419 (1998) - 1997
- [j5]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
A Convex Powerdomain over Lattices: Its Logic and lambda-Calculus. Fundam. Informaticae 32(3-4): 193-250 (1997) - 1996
- [j4]Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro, Adolfo Piperno:
Filter Models for Conjunctive-Disjunctive lambda-Calculi. Theor. Comput. Sci. 170(1-2): 83-128 (1996) - 1995
- [j3]Franco Barbanera, Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro:
Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230 (1995) - [j2]Ugo de'Liguoro, Adolfo Piperno:
Non Deterministic Extensions of Untyped Lambda-Calculus. Inf. Comput. 122(2): 149-177 (1995) - 1994
- [j1]Felice Cardone, Mariangiola Dezani-Ciancaglini
, Ugo de'Liguoro:
Combining Type Disciplines. Ann. Pure Appl. Log. 66(3): 197-230 (1994) - [c5]Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
May and Must Convergencey in Concurrent Lambda-Calculus. MFCS 1994: 211-220 - [c4]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
Fully Abstract Semantics for Concurrent Lambda-calculus. TACS 1994: 16-35 - 1993
- [c3]Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno:
Filter Models for a Parallel and Non Deterministic Lambda-Calculus. MFCS 1993: 403-412 - 1992
- [c2]Ugo de'Liguoro, Adolfo Piperno:
Must Preorder in Non-Deterministic Untyped Lambda-Calculus. CAAP 1992: 203-220 - [c1]Ugo de'Liguoro, Adolfo Piperno, Richard Statman:
Retracts in simply typed lambda-beta-eta-calculus. LICS 1992: 461-469
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint