Program Verification in a Logical Theory of Constructions

Peter Dybjer. Program Verification in a Logical Theory of Constructions. In Functional Programming Languages and Computer Architecture. Volume 201 of Lecture Notes in Computer Science, pages 334-349, Springer-Verlag, Nancy, France, 1985.

Abstract

Abstract is missing.