L. Morris

Publication Activity (10 Years)

Years Active: 1978-1980
Publications (10 Years): 0

Publications

L. Morris, J. Schwarz
Computing Cyclic List Structures. LISP Conference (1980)
Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
A Metalanguage for Interactive Proof in LCF. POPL (1978)