Type-Theoretic Interpretation of Constructive Set Theory
Work
We know Type-Theoretic Interpretation of Constructive Set Theory belongs here, but no one has told their story yet — no summary, no contributions, no map of who they influenced or were influenced by.