Travelled to:1 × USA
Collaborated with:J.Schwarz M.J.C.Gordon R.Milner M.C.Newey C.P.Wadsworth
Talks about:metalanguag (1) structur (1) interact (1) cyclic (1) comput (1) proof (1) list (1) lcf (1)
Person: L. Morris
DBLP: Morris:L=
Contributed to:
1980
1978Wrote 2 papers:
- LISP-1980-MorrisS
- Computing Cyclic List Structures (LM, JS), pp. 144–153.
- POPL-1978-GordonMMNW #interactive #metalanguage #proving
- A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.