## Overview ## References * [[Giuseppe Primiero]], [[information and knowledge - a constructive type-theoretical approach]], Springer, 2008 * Mark Burgin, Theory of information, 2010