Publications
Export 1 results:
Author Title Type [ Year] Filters: First Letter Of Title is M and Author is Taddeo, Mariarosaria [Clear All Filters]
“A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012.