tomdjong/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
TeX
Stargazers
- anaghadoesmathBITS Pilani
- ayberktUniversity of Birmingham
- cangiuli
- dannypsnl@second-state
- hejohns
- jaycech3nUniversity of Nottingham
- jonsterlingUniversity of Cambridge
- L-TChenInstitute of Information Science, Academia Sinica
- LighghtEelooUniversity of Michigan
- markrd-williams
- Quantum-LP
- rahulc29
- samtoth
- sgKira
- shhyouTaipei, Taiwan
- theo-chengkai-wang
- tkersey@thisisartium
- TOTBWFMcMaster University