Intersection and union types: syntax and semantics F Barbanera, M Dezaniciancaglini, U Deliguoro Information and Computation 119 (2), 202-230, 1995 | 257 | 1995 |
Sessions and session types: An overview M Dezani-Ciancaglini, U De’Liguoro Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010 | 143 | 2010 |
On progress for structured communications M Dezani-Ciancaglini, U de’Liguoro, N Yoshida International Symposium on Trustworthy Global Computing, 257-275, 2007 | 123 | 2007 |
Nondeterministic Extensions of Untyped Lambda-Calculus U de'Liguoro, A Piperno Information and Computation 122 (2), 149-177, 1995 | 101 | 1995 |
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 | 59 | 2010 |
Filter models for conjunctive-disjunctive lambda-calculi M Dezani-Ciancaglini, U de'Liguoro, A Piperno Theoretical computer science 170 (1-2), 83-128, 1996 | 47 | 1996 |
Sub-behaviour relations for session-based client/server systems F Barbanera, U De'Liguoro Mathematical Structures in Computer Science 25 (6), 1339-1381, 2015 | 44 | 2015 |
Intersection Types, -models, and Böhm Trees M Dezani-Ciancaglini, E Giovannetti, U de'Liguoro Theories of Types and Proofs 2, 45-98, 1998 | 29 | 1998 |
Mailbox types for unordered interactions U De'Liguoro, L Padovani arXiv preprint arXiv:1801.04167, 2018 | 26 | 2018 |
Retractable contracts F Barbanera, M Dezani-Ciancaglini, I Lanese, U De'Liguoro arXiv preprint arXiv:1602.03595, 2016 | 26 | 2016 |
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 | 24 | 2018 |
Characterizing convergent terms in object calculi via intersection types U de’Liguoro International Conference on Typed Lambda Calculi and Applications, 315-328, 2001 | 22 | 2001 |
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 | 22 | 1992 |
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 | 21 | 2019 |
Global types for open systems F Barbanera, U De'Liguoro, R Hennicker arXiv preprint arXiv:1810.02468, 2018 | 21 | 2018 |
Toward the interpretation of non-constructive reasoning as non-monotonic learning S Berardi, U de’Liguoro Information and Computation 207 (1), 63-81, 2009 | 21 | 2009 |
The minimal relevant logic and the call-by-value lambda calculus S van Bakel, M Dezani-Ciancaglini, U de’Liguoro, Y Motohoma | 21 | 1999 |
A Calculus of Realizers for EM1 Arithmetic S Berardi, U de’Liguoro International Workshop on Computer Science Logic, 215-229, 2008 | 18 | 2008 |
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 | 18 | 1993 |