APA (7th ed.) Citation

Hofmann, M. (1997). Extensional constructs in intensional type theory. Springer.

Chicago Style (17th ed.) Citation

Hofmann, Martin. Extensional Constructs in Intensional Type Theory. London u.a: Springer, 1997.

MLA (9th ed.) Citation

Hofmann, Martin. Extensional Constructs in Intensional Type Theory. Springer, 1997.

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