tba
tba
Date: Wed, June 15, 2022
Time: 11:00
Room: Eelco's Zoom Room
Note: This is a MSc thesis defense
Previous:
Thiago Felicissimo | A Framework for Defining Type Theories
Next:
tba | tba