Search
Now showing items 1-1 of 1
A model Type Theory for Formalizing Trusted Communications
(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 ...