A Proof-Theoretical Investigation of Zantema's Problem.

Thierry Coquand, Henrik Persson

Browse the full CSL paper archive.