Speaker
Thorsten Altenkirch
Personal pageTalks at this conference:
| Wed, 14:30 | Computer Science Logic - Should Type Theory replace Set Theory as the Foundation of Mathematics? Live |
Speaker
| Wed, 14:30 | Computer Science Logic - Should Type Theory replace Set Theory as the Foundation of Mathematics? Live |