Coercive Subtyping in Type Theory (1996)

Cached

Download Links

by Zhaohui Luo
Venue:Proc. of CSL'96, the 1996 Annual Conference of the European Association for Computer Science Logic, Utrecht. LNCS 1258
Citations:26 - 14 self