Minimal Invariant Spaces in Formal Topology (1996)

by Thierry Coquand
Venue:The Journal of Symbolic Logic