nLab
Peter Aczel

Selected writings

On constructive set theory:

category: people