On a Nonconstructive Type Theory and Program Derivation. To appear (1986)

by J M Smith
Venue:in the proceedings of Conference on Logic an d its Applications, Bulgaria