Variations on Realizability: Realizing the Propositional Axiom of Choice (2000)

Cached

Download Links

by J. M. E. Hyland
Venue:Math. Structures Comput. Sci
Citations:1 - 0 self