tomdjong/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the European Summer School on Logic, Language and Information (ESSLLI) 2025
正在读取项目信息…