Ugo de'Liguoro

From MaRDI portal
Person:315297

Available identifiers

zbMath Open deliguoro.ugoMaRDI QIDQ315297

List of research outcomes

PublicationDate of PublicationType
From semantics to types: the case of the imperative \(\lambda\)-calculus2023-09-07Paper
On reduction and normalization in the computational core2023-02-28Paper
https://portal.mardi4nfdi.de/entity/Q50576392022-12-16Paper
May and must convergency in concurrent λ-calculus2022-08-18Paper
Towards refinable choreographies2022-05-25Paper
https://portal.mardi4nfdi.de/entity/Q50196952022-01-10Paper
https://portal.mardi4nfdi.de/entity/Q49928942021-06-10Paper
https://portal.mardi4nfdi.de/entity/Q49938492021-06-10Paper
The untyped computational \(\lambda \)-calculus and its intersection type discipline2020-11-06Paper
https://portal.mardi4nfdi.de/entity/Q52164122020-02-17Paper
https://portal.mardi4nfdi.de/entity/Q52160822020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q52161502020-02-14Paper
Connecting open systems of communicating finite state machines2019-11-28Paper
Session types and subtyping for orchestrated interactions2018-12-19Paper
https://portal.mardi4nfdi.de/entity/Q46376922018-04-25Paper
https://portal.mardi4nfdi.de/entity/Q46007742018-01-12Paper
Non-monotonic Pre-fix Points and Learning2017-11-10Paper
https://portal.mardi4nfdi.de/entity/Q53670542017-10-12Paper
https://portal.mardi4nfdi.de/entity/Q52778322017-07-12Paper
The approximation theorem for the Λμ-calculus2017-06-14Paper
A Realizability Interpretation for Intersection and Union Types2016-12-21Paper
Orchestrated session compliance2016-11-30Paper
Reversible client/server interactions2016-09-20Paper
Sub-behaviour relations for session-based client/server systems2016-07-27Paper
Interactive Realizers2015-09-17Paper
Knowledge Spaces and the Completeness of Learning Strategies2014-03-24Paper
https://portal.mardi4nfdi.de/entity/Q28477762013-09-11Paper
Subtyping in Logical Form2013-08-16Paper
https://portal.mardi4nfdi.de/entity/Q46495392012-11-22Paper
A Filter Model for the λμ-Calculus2011-06-17Paper
Theoretical Computer Science2010-02-23Paper
Typing Asymmetric Client-Server Interaction2010-01-28Paper
Toward the interpretation of non-constructive reasoning as non-monotonic learning2009-03-02Paper
A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)2008-11-20Paper
Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca2008-06-24Paper
Logical equivalence for subtyping object and recursive types2008-04-11Paper
Theoretical Computer Science2006-11-01Paper
Nondeterministic extensions of untyped \(\lambda\)-calculus2006-10-10Paper
https://portal.mardi4nfdi.de/entity/Q27788292002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q44907182000-07-20Paper
https://portal.mardi4nfdi.de/entity/Q46993512000-02-01Paper
https://portal.mardi4nfdi.de/entity/Q42638621999-11-21Paper
https://portal.mardi4nfdi.de/entity/Q42354281999-11-08Paper
A Filter Model for Concurrent $\lambda$-Calculus1998-09-21Paper
Filter models for conjunctive-disjunctive \(\lambda\)-calculi1997-02-27Paper
Intersection and union types: Syntax and semantics1995-08-02Paper
https://portal.mardi4nfdi.de/entity/Q48356191995-07-03Paper
Combining type disciplines1995-06-07Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Ugo de'Liguoro

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:315297&oldid=7795201"
Powered by MediaWiki