Minimal invariant spaces in formal topology (1997)

by T Coquand
Venue:J. Symb. Logic