Colimit Completions and the Eective Topos (1990)

by E Robinson, G Rosolini
Venue:The Journal of Symbolic Logic