Treatise on Intuitionistic Type Theory by Johan Georg Granström (Logic, Epistemology, and the Unity of Science, #22)

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for …