Login / Signup

On the computational content of Zorn's lemma.

Thomas Powell
Published in: LICS (2020)
Keyphrases