Information and knowledge : a constructive type-theoretical approach - Primiero, Giuseppe (Logic, epistemology and the unity of science ;, 2008)