Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.

Uwe Egly, Stephan Schmitt

Browse the full AISC paper archive.