Sciweavers

POPL
2003
ACM

Coercive subtyping for the calculus of constructions

14 years 11 months ago
Coercive subtyping for the calculus of constructions
Gang Chen
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2003
Where POPL
Authors Gang Chen
Comments (0)