Travelled to:
1 × USA
Collaborated with:
M.J.C.Gordon R.Milner L.Morris M.C.Newey
Talks about:
metalanguag (1) interact (1) proof (1) lcf (1)
Person: Christopher P. Wadsworth
DBLP: Wadsworth:Christopher_P=
Contributed to:
Wrote 1 papers:
- POPL-1978-GordonMMNW #interactive #metalanguage #proving
- A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.