Presheaf models of constructive set theories (2004)

by Nicola Gambino
Citations:18 - 6 self