Information and Knowledge A Constructive Type-theoretical Approach - Primiero, Giuseppe (Logic, Epistemology, and the Unity of Science, 2008)