| Original language | English |
|---|---|
| Qualification | Ph.D. |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Award date | 1 Feb 2013 |
| Publication status | Unpublished - 2013 |
Theory and Implementation of Coercive Subtyping
- Tao Xue
Research output: Thesis › Doctoral Thesis
516
Downloads
(Pure)