A Metalanguage for Interactive Proof in LCF.

Michael J. C. Gordon Robin Milner L. Morris Malcolm C. Newey Christopher P. Wadsworth

Published in: POPL (1978)

Keyphrases

user interaction
databases
knowledge representation
user friendly
interactive learning
data analysis
proof planning