1. Notes on constructive set theory;Aczel,2000
2. Entailment relations and distributive lattices;Cederquist,2000
3. Integrals and valuations;Coquand;Log. Anal.,2009
4. A representation of stably compact spaces, and patch topology;Coquand;Theor. Comput. Sci.,2003