Treatise on intuitionistic type theory - Granstrom, Johan Georg (Dordrecht Springer, 2011)
Keywords: Intuition -- Philosophy