1. Transfinite completions of constructive arithmetical calculus;Dragalin;Soviet Math. Dokl.,1969
2. Constructive models for set theory with extensionality;Gordeev,1982
3. The effective topos;Hyland,1982
4. A small complete category;Hyland;Ann. Pure Appl. Logic.,1988
5. The discrete objects in the effective topos;Hyland;Proc. London Math. Soc.,1990