Uwe Egly
On Intuitionistic Proof Transformations and their Application to Constructive Program Synthesis
Uwe Egly, Visitor from Technische Universitaet Wien, September 22, 1998
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu