Concepedia
Statistics
Publications
15
Citations
521
H-Index
11
Active since
1994
Affiliations
University of Turin(Current)
University of Catania
Sapienza University of Rome
Ugo de’Liguoro is an author at University of Turin specializing in computing, computer science, and formal methods.
Publications per year
1994–2019
Intersection and Union Types: Syntax and Semantics
Franco Barbanera, Ugo de’Liguoro · Information and Computation · 1995 · 178 citations
Language Studies, Computer Science, Semantics +11
Nondeterministic Extensions of Untyped λ-Calculus
Ugo de’Liguoro, Adolfo Piperno · Information and Computation · 1995 · 63 citations
Computing, Computer Science, Formal Methods +10
A Filter Model for Concurrent $\lambda$-Calculus
Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Adolfo Piperno · SIAM Journal on Computing · 1998 · 60 citations
Computing, Computer Science, Algebra +16
Two notions of sub-behaviour for session-based client/server systems
Franco Barbanera, Ugo de’Liguoro · 2010 · 49 citations
Computing, Contract Law, Contract Theory +9
Sub-behaviour relations for session-based client/server systems
Franco Barbanera, Ugo de’Liguoro · Mathematical Structures in Computer Science · 2014 · 32 citations · Full text
Computing, Computer Science, Contract Theory +6
1–5 of 15