Information and Knowledge A Constructive Type-theoretical Approach - Primiero, Giuseppe (Springer Netherlands, 2008)