Cita APA (7a ed.)
Johan Georg Granström, J. G. G. Treatise on Intuitionistic Type Theory. Springer.
Cita estilo Chicago (17a ed.)
Johan Georg Granström, Johan Georg Granström. Treatise on Intuitionistic Type Theory. Dordrecht, Holanda: Springer.
Cita MLA (9a ed.)
Johan Georg Granström, Johan Georg Granström. Treatise on Intuitionistic Type Theory. Springer.
Precaución: Estas citas no son 100% exactas.