Report copyright - Simplicial Sets are Algorithms - The Rising Seatherisingsea.org/notes/MScThesisWillTroiani.pdf · of classifying topoi [9, §VIII] and the link between topoi and higher-order logic
Please pass captcha verification before submit form