Apartness spaces as framework for constructive topology (2003)

Cached

Download Links

by Douglas Bridges
Venue:Ann. Pure Appl. Logic
Citations:7 - 1 self

Document Versions

Apartness spaces as framework for constructive topology –Douglas Bridges — 2003 — Ann. Pure Appl. Logic