Minimal Invariant Spaces in Formal Topology (1996)

Cached

Download Links

by Thierry Coquand
Venue:The Journal of Symbolic Logic
Citations:4 - 1 self

Document Versions

Minimal Invariant Spaces in Formal Topology –Thierry Coquand — 1996 — The Journal of Symbolic Logic