Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science)

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs.