From intuitionistic to point-free topology: some remarks on the foundation of homotopy theory (2006)

by E Palmgren
Venue:Special issue with papers from the second workshop on formal topology. Annals of Pure and Applied Logic 137