4 ms·

because of the y-combinator|russell paradox? correct?? better question: any references to a type-based construction of set theory?

• anchpop 5y ago
  You should read the homotopy type theory book if you’re interesting in things like this :p But to answer your question, there’s one here: https://arxiv.org/abs/1305.3835 https://arxiv.org/abs/1305.3835