Algebraic set theory and the effective topos. - Claire Kouwenhoven-Gentil; Jaap van Oosten (J. Symb. Log., 2005)