| |
| 1980 | ||
|---|---|---|
| 2 | L. Morris, J. Schwarz: Computing Cyclic List Structures. LISP Conference 1980: 144-153 | |
| 1978 | ||
| 1 | Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth: A Metalanguage for Interactive Proof in LCF. POPL 1978: 119-130 | |
| 1 | Michael J. C. Gordon | [1] |
| 2 | Robin Milner | [1] |
| 3 | Malcolm C. Newey | [1] |
| 4 | J. Schwarz | [2] |
| 5 | Christopher P. Wadsworth | [1] |