- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire 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 ...