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
2571995
Sessions and session types: An overview
M Dezani-Ciancaglini, U De’Liguoro
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010
1422010
On progress for structured communications
M Dezani-Ciancaglini, U de’Liguoro, N Yoshida
International Symposium on Trustworthy Global Computing, 257-275, 2007
1222007
Nondeterministic Extensions of Untyped Lambda-Calculus
U de'Liguoro, A Piperno
Information and Computation 122 (2), 149-177, 1995
1011995
A Fiter model for concurrent lambda-calculus
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Siam J. Comput 27 (5), 1376-1419, 1998
95*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
592010
Filter models for conjunctive-disjunctive lambda-calculi
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Theoretical computer science 170 (1-2), 83-128, 1996
471996
Sub-behaviour relations for session-based client/server systems
F Barbanera, U De'Liguoro
Mathematical Structures in Computer Science 25 (6), 1339-1381, 2015
442015
Intersection Types, -models, and Böhm Trees
M Dezani-Ciancaglini, E Giovannetti, U de'Liguoro
Theories of Types and Proofs 2, 45-98, 1998
291998
Mailbox types for unordered interactions
U De'Liguoro, L Padovani
arXiv preprint arXiv:1801.04167, 2018
262018
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, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof
Logical Methods in Computer Science 14, 2018
232018
Characterizing convergent terms in object calculi via intersection types
U de’Liguoro
International Conference on Typed Lambda Calculi and Applications, 315-328, 2001
222001
Must preorder in non-deterministic untyped λ-calculus
U De'Liguoro, A Piperno
CAAP'92: 17th Colloquium on Trees in Algebra and Programming Rennes, France …, 1992
221992
Connecting open systems of communicating finite state machines
F Barbanera, U De'Liguoro, R Hennicker
Journal of Logical and Algebraic Methods in Programming 109, 100476, 2019
212019
Global types for open systems
F Barbanera, U De'Liguoro, R Hennicker
arXiv preprint arXiv:1810.02468, 2018
212018
Toward the interpretation of non-constructive reasoning as non-monotonic learning
S Berardi, U de’Liguoro
Information and Computation 207 (1), 63-81, 2009
212009
The minimal relevant logic and the call-by-value lambda calculus
S van Bakel, M Dezani-Ciancaglini, U de’Liguoro, Y Motohoma
211999
A Calculus of Realizers for EM1 Arithmetic
S Berardi, U de’Liguoro
International Workshop on Computer Science Logic, 215-229, 2008
182008
Filter Models for a Parallel and Non Deterministic λ-calculus
M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Mathematical Foundations of Computer Science 1993: 18th International …, 1993
181993
The system can't perform the operation now. Try again later.
Articles 1–20