Generalized Decidability via Brouwer Trees.

Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg

Browse the full LICS paper archive.