All realizability is relative (2006)

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