APA Баримт

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

Чикаго маягийн жагсаалт

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

MLA ишлэл

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