Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/06/11 → 31/05/14 |
Funding
- Leverhulme Trust: £147,661.00
Lexical Semantics in Type Theory with Coercive Subtyping
- Luo, Zhaohui (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/06/11 → 31/05/14 |