Constructive set theory with operations (2008)

by A Cantini, L Crosilla
Venue:Logic Colloquium 2004