Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic.

Serge Yoccoz

Browse the full MFCS paper archive.