category: reference This entry is about the text * [[Giuseppe Primiero]], [[information and knowledge - a constructive type-theoretical approach]], Springer, 2008{#Primiero} # Contents * Automatic table of contents {: toc} ## Introduction ## 1 Constructive type theory ## 2 Analyticity and information [[Primiero, information and knowledge, chapter 2, analyticity and information]] ## 3 Formal representation of the notion of information [[Primiero, information and knowledge, chapter 3, formal representation of the notion of information]] ## 4 Constructive philosophy of information