Constructive Set Theories and their Category-theoretic Models

Alexander Simpson

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Search results