## Minimal Invariant Spaces in Formal Topology (1996)

by
Thierry Coquand

Venue: | The Journal of Symbolic Logic |

Citations: | 4 - 1 self |