Lexical Semantics in Type Theory with Coercive Subtyping

Project: Research

Project Details

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

Funding

  • Leverhulme Trust: £147,661.00