Hofmann, M. (1997). Extensional constructs in intensional type theory. Springer.
Chicago Style (17th ed.) CitationHofmann, Martin. Extensional Constructs in Intensional Type Theory. Berlin: Springer, 1997.
MLA (8th ed.) CitationHofmann, Martin. Extensional Constructs in Intensional Type Theory. Springer, 1997.
Warning: These citations may not always be 100% accurate.