Slices of Realizability Topoi
DSpace - Digital Repository Unimib
Slices of Realizability Topoi
Zoethout, J.
(2018) Faculty of Science Theses
(Master thesis)
Download/Full Text
Open Access version via Utrecht University Repository
Keywords: Realizability, computability theory, category theory, topos theory, slice category
See
more statistics
about this item