Type-theoretic foundation of mathematical pluralism

Project: Research

Project Details

StatusFinished
Effective start/end date1/10/0630/09/09

Funding

  • Leverhulme Trust: £56,235.00