Arrangement
Midway assessment: Elisabeth Bonnevier
PhD candidate Elisabeth Bonnevier will hold her Midway presentation as part of the Midway Assessment requirements.
Hovedinnhold
Working title: «Theory and meta-theory of dependent types»
Supervisory committee
Håkon Gylterud (supervisor)
Marc Bezem (co-supervisor)
Midway Evaluation committee
All are welcome!
03.06.2022