[olafura]

https://elixirforum.com/t/any-update-on-the-set-theoretic-ty...

[bradrn]

And a direct link to the paper: https://www.irif.fr/_media/users/gduboc/elixir-types.pdf