Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
A Metalanguage for interactive proof in LCF
Home
Publications
A Metalanguage for interactive proof in LCF
A Metalanguage for interactive proof in LCF
MG
M. Gordon
M. Gordon
RM
R. Milner
R. Milner
LM
L. Morris
L. Morris
MN
M. Newey
M. Newey
CW
C. Wadsworth
C. Wadsworth
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1978
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
119-130
https://doi.org/10.1145/512760.512773
Abstract
No abstract available
Cited by 40 articles