| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page