- UHRA Home
- Browsing by Author
Browsing by Author "Primiero, Giuseppe"
Now showing items 1-1 of 1
-
A model Type Theory for Formalizing Trusted Communications
Primiero, Giuseppe; Taddeo, Mariarosaria (2012-03-01)This paper introduces a multi-modal polymorphic typetheory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this ...