Intersection and union types: syntax and semantics F Barbanera, M Dezaniciancaglini, U Deliguoro
Information and Computation 119 (2), 202-230, 1995
245 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
142 2010 On progress for structured communications M Dezani-Ciancaglini, U de’Liguoro, N Yoshida
International Symposium on Trustworthy Global Computing, 257-275, 2007
118 2007 Nondeterministic Extensions of Untyped Lambda-Calculus U de'Liguoro, A Piperno
Information and Computation 122 (2), 149-177, 1995
97 1995 A Fiter model for concurrent lambda-calculus M Dezani-Ciancaglini, U de'Liguoro, A Piperno
Siam J. Comput 27 (5), 1376-1419, 1998
89 * 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
58 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
42 2015 Intersection Types, M Dezani-Ciancaglini, E Giovannetti, U de'Liguoro
Theories of Types and Proofs 2, 45-98, 1998
29 1998 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 Retractable contracts F Barbanera, M Dezani-Ciancaglini, I Lanese, U De'Liguoro
arXiv preprint arXiv:1602.03595, 2016
24 2016 Mailbox types for unordered interactions U de'Liguoro, L Padovani
arXiv preprint arXiv:1801.04167, 2018
22 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 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 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
21 1992 Global types for open systems F Barbanera, U De'Liguoro, R Hennicker
arXiv preprint arXiv:1810.02468, 2018
20 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
19 2019 The minimal relevant logic and the call-by-value lambda calculus S van Bakel, M Dezani-Ciancaglini, U de’Liguoro, Y Motohoma
19 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
19 1993 A Calculus of Realizers for EM 1 Arithmetic S Berardi, U de’Liguoro
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual …, 2008
18 2008 
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityBestätigte E-Mail-Adresse bei di.unito.it
