Granström, J. G. (2008). Reference and computation in intuitionistic type theory. Department of Mathematics, Uppsala University.
Chicago-Zitierstil (17. Ausg.)Granström, Johan G. Reference and Computation in Intuitionistic Type Theory. Uppsala: Department of Mathematics, Uppsala University, 2008.
MLA-Zitierstil (9. Ausg.)Granström, Johan G. Reference and Computation in Intuitionistic Type Theory. Department of Mathematics, Uppsala University, 2008.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.