This document is unfortunately not available for download at the moment.
Giuseppe Primiero (2008) Information and knowledge: a constructive type-theoretical approach, Dordrecht, Springer.
Formal representation of the notion of information
pp. 125-163
Not implemented yet !