Axiomatic Definability and Completeness for Recursive Programs

Albert R. Meyer, John C. Mitchell. Axiomatic Definability and Completeness for Recursive Programs. In POPL. pages 337-346, 1982.

Abstract

Abstract is missing.