Slices of Realizability Topoi

DSpace - Digital Repository Unimib

Zoethout, J.

(2018) Faculty of Science Theses

(Master thesis)

Download/Full Text

Keywords: Realizability, computability theory, category theory, topos theory, slice category

See more statistics about this item