Deductive Program Synthesis and Markov's Principle.

Andrei Voronkov

Browse the full FCT paper archive.