DE' LIGUORO, Ugo
DE' LIGUORO, Ugo
INFORMATICA
26th International Conference on Types for Proofs and Programs, TYPES 2020
2021-01-01 Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
A Calculus of Realizers for EM1-Arithmetic
2008-01-01 Stefano Berardi; Ugo De' Liguoro
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
1997-01-01 Fabio Alessi; Mariangiola Dezani-Ciancaglini; Ugo de' Liguoro
A Filter Model for Concurrent Lambda-calculi
1998-01-01 M. DEZANI; DE'LIGUORO U.; PIPERNO A.
A Filter Model for the Lambda-Mu Calculus
2011-01-01 Steffen van Bakel; Franco Brabanera; Ugo de'Liguoro
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
A realizability interpretation for intersection and union types
2016-01-01 Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
A theory of retractable and speculative contracts
2018-01-01 Barbanera, Franco; Lanese, Ivan; de'Liguoro, Ugo
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca
2008-01-01 Stefano Berardi; Ugo de' Liguoro
Characterisation of Strongly Normalising lambda-mu-Terms
2013-01-01 Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro
Characterizing convergent terms in object calculi via intersection types
2001-01-01 U. DE' LIGUORO
Classical Logic and Computation
2012-01-01 Herman Geuvers; Ugo de'Liguoro
Combining Type Disciplines
1994-01-01 F. Cardone;M. Dezani-Ciancaglini;U. de' Liguoro
Compliance for reversible client/server interactions
2014-01-01 F. Barbanera; M. Dezani; U. de'Liguoro
Connecting open systems of communicating finite state machines
2019-01-01 Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf
Control Operators and their Semantics
2013-01-01 Ugo de'Liguoro; Alexis Saurin
Filter Models for Conjunctive-Disjunctive Lambda-calculus
1996-01-01 M. DEZANI; DE'LIGUORO U.; PIPERNO A.
Filter Models for Parallel and Non-deterministic Lambda-Calculus
1993-01-01 M.Dezani; U. de' Liguoro; A.Piperno
From Semantics to Types: the Case of the Imperative lambda-Calculus
2021-01-01 Ugo de' Liguoro, Riccardo Treglia
From semantics to types: The case of the imperative λ-calculus
2023-01-01 de'Liguoro, Ugo; Treglia, Riccardo