EasyChair Smart Slide
Groupoidal Realizability: Formalizing the Topological BHK Interpretation
Groupoidal Realizability: Formalizing the Topological BHK Interpretation