Skip to content

On the computational content of Zorn's lemma.

Thomas Powell

VenueA*LICS
Year2020
ProceedingsLICS

Browse the full LICS paper archive.