Type-theoretic foundation of mathematical pluralism

Project: Research

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

Funding

Leverhulme Trust: £56,235

ID: 21685632