Extensional constructs in intensional type theory /

Autor Hofmann, Martin, 1965-
Vydáno 1997

Typed lambda calculi and applications : 6th International Conference, TLCA 2003 : Valencia, Spain, June 10-12, 2003 : proceedings /

Vydáno 2003