stefaniatadama/MGS-categorical-realizability

Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024

TeX