Computer Science – Cryptography and Security
Scientist
Computer Science
Cryptography and Security
Scientist
University of Torino
Dipartimento di Informatica, Università di Torino
Dipartimento di Informatica, Universit`a degli Studi di Torino, Torino, Italy
A Complete Characterization of Complete Intersection-Type Theories
A Type System for a Stochastic CLS
A Type System for Required/Excluded Elements in CLS
Information Flow Safety in Multiparty Sessions
Intersection Types and Lambda Theories
No associations
LandOfFree
Mariangiola Dezani-Ciancaglini does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Mariangiola Dezani-Ciancaglini, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mariangiola Dezani-Ciancaglini will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-115513