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. Berlin: Springer, 1997.

MLA (8th ed.) Citation

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

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