6 citations · 16 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
The Sierpinski Object in the Scott Realizability Topos
Tom de Jong, Jaap van Oosten
We study the Sierpinski object in the realizability topos based on Scott's graph model of the -calculus. Our starting observation is that the object of realizers in this top…
math.LO2019
The Scott model of PCF in univalent type theory
Tom de Jong
We develop the Scott model of the programming language PCF in univalent type theory. Moreover, we work constructively and predicatively. To account for the non-termination in PCF,…