Intersection and union types: syntax and semantics F Barbanera, M Dezaniciancaglini, U Deliguoro
Information and Computation 119 (2), 202-230, 1995
262 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
145 2010 On progress for structured communications M Dezani-Ciancaglini, U de’Liguoro, N Yoshida
International Symposium on Trustworthy Global Computing, 257-275, 2007
122 2007 Nondeterministic Extensions of Untyped Lambda-Calculus U de'Liguoro, A Piperno
Information and Computation 122 (2), 149-177, 1995
103 1995 A Fiter model for concurrent lambda-calculus M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Siam J. Comput 27 (5), 1376-1419, 1998
97 * 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
60 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
48 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 Mailbox types for unordered interactions U De'Liguoro, L Padovani
arXiv preprint arXiv:1801.04167, 2018
31 2018 Intersection Types, M Dezani-Ciancaglini, E Giovannetti, U de'Liguoro
Theories of Types and Proofs 2, 45-98, 1998
30 1998 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
25 2018 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
24 2019 Characterizing convergent terms in object calculi via intersection types U de’Liguoro
International Conference on Typed Lambda Calculi and Applications, 315-328, 2001
23 2001 Global types for open systems F Barbanera, U De'Liguoro, R Hennicker
arXiv preprint arXiv:1810.02468, 2018
22 2018 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 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 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
21 1993 A Calculus of Realizers for EM1 Arithmetic S Berardi, U de’Liguoro
International Workshop on Computer Science Logic, 215-229, 2008
18 2008 
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityBestätigte E-Mail-Adresse bei di.unito.it
