Ugo De Liguoro

Ugo De Liguoro

Università degli Studi di Torino - Torino / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1871548
University of Turin
person_outline Ugo De Liguoro's MOST POPULAR ARTICLES
1-) Intersection and union types: syntax and semanticsF Barbanera, M Dezaniciancaglini, U DeliguoroInformation and Computation 119 (2), 202-230, 19952381995
2-) Sessions and session types: An overviewM Dezani-Ciancaglini, U De’LiguoroWeb Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 20101402010
3-) On progress for structured communicationsM Dezani-Ciancaglini, U de’Liguoro, N YoshidaInternational Symposium on Trustworthy Global Computing, 257-275, 20071182007
4-) Nondeterministic Extensions of Untyped Lambda-CalculusU de\'Liguoro, A PipernoInformation and Computation 122 (2), 149-177, 19951031995
5-) A Fiter model for concurrent lambda-calculusM Dezani-Ciancaglini, U de\'Liguoro, A PipernoSiam J. Comput 27 (5), 1376-1419, 199897*1998