 | 2000 |
|---|
| 8 |       | Christopher P. Wadsworth:
Continuations Revisited.
Higher-Order and Symbolic Computation 13(1/2): 131-133 (2000) |
| 7 | | Christopher Strachey,
Christopher P. Wadsworth:
Continuations: A Mathematical Semantics for Handling Full Jumps.
Higher-Order and Symbolic Computation 13(1/2): 135-152 (2000) |
| 1998 |
|---|
| 6 | | Don Goodeve,
Simon A. Dobson,
Jonathan M. Nash,
John R. Davy,
Peter M. Dew,
Mourad Kara,
Christopher P. Wadsworth:
Toward a Model for Shared Data Abstraction with Performance.
J. Parallel Distrib. Comput. 49(1): 156-167 (1998) |
| 1996 |
|---|
| 5 | | Simon A. Dobson,
Christopher P. Wadsworth:
Towards a theory of shared data in distributed systems.
Software Engineering for Parallel and Distributed Systems 1996: 170-182 |
| 1979 |
|---|
| 4 | | Michael J. C. Gordon,
Robin Milner,
Christopher P. Wadsworth:
Edinburgh LCF
Springer 1979 |
| 1978 |
|---|
| 3 | | 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 |
| 2 | | Christopher P. Wadsworth:
Approximate Reduction and Lambda Calculus Models.
SIAM J. Comput. 7(3): 337-356 (1978) |
| 1976 |
|---|
| 1 | | Christopher P. Wadsworth:
The Relation Between Computational and Denotational Properties for Scott's D_\infty-Models of the Lambda-Calculus.
SIAM J. Comput. 5(3): 488-521 (1976) |
