Manifest fields and module mechanisms in intensional type theory (2009)

by Zhaohui Luo
Venue:In TYPES 08
Citations:7 - 5 self