Treatise on Intuitionistic Type Theory

MLA

Granström, Johan Georg. Treatise On Intuitionistic Type Theory. Springer Netherlands, 2011.

APA

Granström, J. Georg. (2011). Treatise on Intuitionistic Type Theory. Springer Netherlands.

Chicago

Granström, Johan Georg, and Johan Georg Granström. Treatise On Intuitionistic Type Theory. : Springer Netherlands, 2011.