APA (7th ed.) Citation

Granström, J. G. (2008). Reference and computation in intuitionistic type theory. Department of Mathematics, Uppsala University.

Chicago Style (17th ed.) Citation

Granström, Johan G. Reference and Computation in Intuitionistic Type Theory. Uppsala: Department of Mathematics, Uppsala University, 2008.

MLA (9th ed.) Citation

Granström, Johan G. Reference and Computation in Intuitionistic Type Theory. Department of Mathematics, Uppsala University, 2008.

Warning: These citations may not always be 100% accurate.