Johan Georg Granström. Treatise on Intuitionistic Type Theory. Volume 22 of Logic, Epistemology, and the Unity of Science, Springer, 2011. [doi]
@book{leus-Granstrom11, title = {Treatise on Intuitionistic Type Theory}, author = {Johan Georg Granström}, year = {2011}, doi = {10.1007/978-94-007-1736-7}, url = {http://dx.doi.org/10.1007/978-94-007-1736-7}, researchr = {https://researchr.org/publication/leus-Granstrom11}, cites = {0}, citedby = {0}, volume = {22}, series = {Logic, Epistemology, and the Unity of Science}, publisher = {Springer}, isbn = {978-94-007-1736-7}, }