Sciweavers

MSCS
2002

Variations on Realizability: Realizing the Propositional Axiom of Choice

13 years 10 months ago
Variations on Realizability: Realizing the Propositional Axiom of Choice
J. M. E. Hyland
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where MSCS
Authors J. M. E. Hyland
Comments (0)