A Metalanguage for Interactive Proof in LCF

M. Gordon, R. Milner, L. Morris, M. Newey, C. Wadsworth

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
Place of Publication	New York, NY, USA
Publisher	ACM
Pages	119-130
Number of pages	12
DOIs	https://doi.org/10.1145/512760.512773
Publication status	Published - 1978

Access to Document

@inproceedings{64c51446d07145da9ae89e1e6e762c75,

title = "A Metalanguage for Interactive Proof in LCF",

author = "M. Gordon and R. Milner and L. Morris and M. Newey and C. Wadsworth",

year = "1978",

doi = "10.1145/512760.512773",

language = "English",

pages = "119--130",

booktitle = "Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages",

publisher = "ACM",

}

TY - GEN

T1 - A Metalanguage for Interactive Proof in LCF

AU - Gordon, M.

AU - Milner, R.

AU - Morris, L.

AU - Newey, M.

AU - Wadsworth, C.

PY - 1978

Y1 - 1978

U2 - 10.1145/512760.512773

DO - 10.1145/512760.512773

M3 - Conference contribution

SP - 119

EP - 130

BT - Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

PB - ACM

CY - New York, NY, USA

ER -