657 followers
こんな結果あるのか(point-freeの話あまり知らない) [Some constructive results related to compactness and the (strong) Hausdorff property for locales | SpringerLink](https://t.co/I5D4rEAZOU)
こんな結果あるのか(point-freeの話あまり知らない) [Some constructive results related to compactness and the (strong) Hausdorff property for locales | SpringerLink](https://t.co/I5D4rEAZOU)