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