1. Research
  2. Type-theoretic foundation of mathematical pluralism

    Luo, Z.

    Leverhulme Trust: £56,235

    1/10/0630/09/09

    Project: Research

Previous 1 2 3 4 Next