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 ...