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