Topology via constructive logic (1999)

by Steven Vickers
Venue:in Logic, Language, and Computation