The Semantics of Reflected Proof

Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken. The Semantics of Reflected Proof. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 95-105, IEEE Computer Society, 1990.

Abstract

Abstract is missing.