Document Versions
| Coercive subtyping –Zhaohui Luo — 1998 |
| Coercive Subtyping –Zhaohui Luo — 1995 — Journal of Logic and Computation |
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2010 The Pennsylvania State University