Follow
Ugo de'Liguoro
Title
Cited by
Cited by
Year
Intersection and union types: syntax and semantics
F Barbanera, M Dezaniciancaglini, U Deliguoro
Information and Computation 119 (2), 202-230, 1995
2311995
Sessions and session types: An overview
M Dezani-Ciancaglini, U De’Liguoro
International Workshop on Web Services and Formal Methods, 1-28, 2009
1362009
On progress for structured communications
M Dezani-Ciancaglini, U de’Liguoro, N Yoshida
International Symposium on Trustworthy Global Computing, 257-275, 2007
1162007
Nondeterministic Extensions of Untyped Lambda-Calculus
U de'Liguoro, A Piperno
Information and Computation 122 (2), 149-177, 1995
941995
A Fiter model for concurrent lambda-calculus
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Siam J. Comput 27 (5), 1376-1419, 1998
90*1998
Two notions of sub-behaviour for session-based client/server systems
F Barbanera, U De'Liguoro
Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010
632010
Sub-behaviour relations for session-based client/server systems
F Barbanera, U De'Liguoro
Mathematical Structures in Computer Science 25 (6), 1339-1381, 2015
452015
Filter models for conjunctive-disjunctive lambda-calculi
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Theoretical computer science 170 (1-2), 83-128, 1996
441996
Intersection Types, -models, and Böhm Trees
M Dezani-Ciancaglini, E Giovannetti, U De'Liguoro
Theories of Types and Proofs 2, 45-98, 1998
301998
Retractable contracts
F Barbanera, M Dezani-Ciancaglini, I Lanese, U de'Liguoro
arXiv preprint arXiv:1602.03595, 2016
262016
Mixin composition synthesis based on intersection types
J Bessai, A Dudenhefner, B Düdder, TC Chen, U de’Liguoro, J Rehof
13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015
23*2015
Characterizing convergent terms in object calculi via intersection types
U de’Liguoro
International Conference on Typed Lambda Calculi and Applications, 315-328, 2001
232001
Toward the interpretation of non-constructive reasoning as non-monotonic learning
S Berardi, U de’Liguoro
Information and Computation 207 (1), 63-81, 2009
222009
Must preorder in non-deterministic untyped λ-calculus
U De'Liguoro, A Piperno
Colloquium on Trees in Algebra and Programming, 203-220, 1992
211992
A Calculus of Realizers for EM1 Arithmetic
S Berardi, U de’Liguoro
International Workshop on Computer Science Logic, 215-229, 2008
192008
A Filter Model for the λμ-Calculus
S Van Bakel, F Barbanera, U De'Liguoro
TLCA, 213-228, 2011
182011
Filter Models for a Parallel and Non Deterministic λ-calculus
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
International Symposium on Mathematical Foundations of Computer Science, 403-412, 1993
181993
Interactive realizers: a new approach to program extraction from nonconstructive proofs
S Berardi, U de’Liguoro
ACM Transactions on Computational Logic (TOCL) 13 (2), 1-21, 2012
172012
Logical equivalence for subtyping object and recursive types
S van Bakel, U de’Liguoro
Theory of Computing Systems 42 (3), 306-348, 2008
172008
The minimal relevant logic and the call-by-value lambda calculus
S van Bakel, M Dezani-Ciancaglini, U de’Liguoro, Y Motohoma
171999
The system can't perform the operation now. Try again later.
Articles 1–20