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