J. M. E. Hyland Variations on Realizability: Realizing the Propositional Axiom of Choice. 295-317 2002 12 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs12.html#Hyland02