The anti-foundation axiom in constructive set theories (0)

by M Rathjen
Venue:Proceedings of the Logic Colloquium 2003