All realizability is relative (2008)

by P Hofstra
Venue:Math. Proc. Cambridge Philos. Soc