Constructive Mathematics and Automatic Program Writers

Robert L. Constable. Constructive Mathematics and Automatic Program Writers. In IFIP Congress (1). pages 229-233, 1971.

Abstract

Abstract is missing.