A Metalanguage for Interactive Proof in LCF

Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth. A Metalanguage for Interactive Proof in LCF. In POPL. pages 119-130, 1978.

Abstract

Abstract is missing.