Lexical Semantics in Type Theory with Coercive Subtyping

Project: Research

StatusFinished
Effective start/end date1/06/1131/05/14

Funding

Leverhulme Trust: £147,661

ID: 21701148