top | item 36308415 (no title) olafura | 2 years ago https://elixirforum.com/t/any-update-on-the-set-theoretic-ty... discuss order hn newest bradrn|2 years ago And a direct link to the paper: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
bradrn|2 years ago And a direct link to the paper: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf
bradrn|2 years ago