Proof Theory and Synthesis of Programs: Potentials and Limitations (1986)

by G Kreisel
Venue:Eurocal ’85 (Linz 1985), Springer LNCS 203