nLab Martin Hofmann

Selected writings

Selected writings

On identity types in extensional/intensional type theory:

and introducing the homotopy type theory-interpretation of identity types:

  • Martin Hofmann, Thomas Streicher The groupoid interpretation of type theory, in: Giovanni Sambin et al. (eds.) , Twenty-five years of constructive type theory, Proceedings of a congress, Venice, Italy, October 19—21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 83-111 (1998). (ISBN:9780198501275, ps pdf)
category: people

Last revised on May 13, 2021 at 06:49:02. See the history of this page for a list of all contributions to it.