Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach (changes)

Showing changes from revision #3 to #4:
Added | ~~Removed~~ | ~~Chan~~ged

category: reference

This entry is about the text

- Giuseppe Primiero, information and knowledge - a constructive type-theoretical approach, Springer, 2008

Primiero, information and knowledge, chapter 2, analyticity and information

Primiero, information and knowledge, chapter 3, formal representation of the notion of information

Last revised on August 6, 2012 at 13:33:18. See the history of this page for a list of all contributions to it.