Browsing by Author "Nester, Chad"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
Item Open Access Turing Categories and Realizability(2017) Nester, Chad; Cockett, Robin; Eberly, Wayne; Zach, Richard; Woodrow, Robert; Cockett, RobinWe present a realizability tripos construction in which the usual partial combinatory algebra is replaced with a Turing category, and the category of partial functions on sets is replaced with a discrete cartesian closed restriction category. As an intermediate step we construct in this setting a restriction category of assemblies. Our constructions generalize existing constructions in the field.