The Surprising Power of Restricted Programs and Gdel's Functionals.

Lars Kristiansen, Paul J. Voda

Browse the full CSL paper archive.