Speaker
Anton Setzer
Swansea University
Talks at this conference:
| Fri, 16:50 |
Predicative foundations of the Mahlo universe in Martin-Löf type theory
Invited |
Speaker
| Fri, 16:50 |
Predicative foundations of the Mahlo universe in Martin-Löf type theory
Invited |