Treatise on Intuitionistic Type Theory - Granström, Johan Georg; Granström, Johan Georg (Springer Netherlands, 2011)