Sciweavers

4894 search results - page 63 / 979
» Choices
Sort
View
IANDC
2000
46views more  IANDC 2000»
15 years 5 months ago
Decoding Choice Encodings
Uwe Nestmann, Benjamin C. Pierce
DLIB
2002
93views more  DLIB 2002»
15 years 5 months ago
Choices
Bonita Wilson
MLQ
2002
102views more  MLQ 2002»
15 years 5 months ago
Products of Compact Spaces and the Axiom of Choice
We study the Tychonoff Compactness Theorem for several different definitions of a compact space.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyr...