Bibliografía

Referencias principales utilizadas en estas notas.

• The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study, 2013.
• Nordström, B., Petersson, K., Smith, J.M. Programming in Martin-Löf's Type Theory: An Introduction. Oxford University Press, 1990.