Martin Hyland, p. 1 of: Variations on realizability: realizing the propositional axiom of choice, Mathematical Structures in Computer Science, Volume 12, Issue 3, June 2002, pp. 295 - 317 (doi:10.1017/S0960129502003651, pdf)
Created on December 10, 2020 at 15:33:30.
See the history of this page for a list of all contributions to it.