抽象Stone对偶笔记

先翻译Paul Taylor的主页吧, 似乎我也在翻译另一本Paul Taylor翻译了的书, 即Proofs and Types.