@misc{dejong-2024-realizability,
title = {Categorical Realizability},
author = {de Jong, Tom},
year = {2024},
url = {https://github.com/tomdjong/MGS-categorical-realizability}
}
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024