Programs as Proofs: A Synopsis

Robert L. Constable. Programs as Proofs: A Synopsis. Inf. Process. Lett., 16(3):105-112, 1983.

Abstract

Abstract is missing.