APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Hofmann M. Extensional Constructs in Intensional Type Theory. N.Y: Springer, 1997.

MLA (8th ed.) Citation

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

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