A Metalanguage for Interactive Proof in LCF
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

POPL 1978
Full names Links ISxN
	author        = "Michael J. C. Gordon and Robin Milner and L. Morris and Malcolm C. Newey and Christopher P. Wadsworth",
	booktitle     = "{Conference Record of the Fifth Annual Symposium on Principles of Programming Languages}",
	doi           = "10.1145/512760.512773",
	editor        = "Alfred V. Aho and Stephen N. Zilles and Thomas G. Szymanski",
	pages         = "119--130",
	publisher     = "{ACM Press}",
	title         = "{A Metalanguage for Interactive Proof in LCF}",
	year          = 1978,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.