| Original language | English |
|---|---|
| Publication status | Published - 2013 |
| Event | TYPES 2013 - , France Duration: 22 Apr 2013 → … |
Conference
| Conference | TYPES 2013 |
|---|---|
| Country/Territory | France |
| Period | 22/04/13 → … |
Subtyping in Type Theory: Coercion Contexts and Local Coercions
Zhaohui Luo, Fjodor Part
Research output: Contribution to conference › Abstract › peer-review