Title: Treatise on intuitionistic type theory
Subjects: Type theory, Programming languages (electronic computers), Intuitionistic mathematics, Intuition