Christopher P. Wadsworth

Publication Activity (10 Years)

Years Active: 1976-2000
Publications (10 Years): 0

Publications

Christopher P. Wadsworth
Continuations Revisited. High. Order Symb. Comput. 13 (1/2) (2000)
Christopher S. Strachey, Christopher P. Wadsworth
Continuations: A Mathematical Semantics for Handling Full Jumps. High. Order Symb. Comput. 13 (1/2) (2000)
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 Distributed Comput. 49 (1) (1998)
Simon A. Dobson, Christopher P. Wadsworth
Towards a theory of shared data in distributed systems. Software Engineering for Parallel and Distributed Systems (1996)
Michael J. C. Gordon, Robin Milner, L. Morris, Malcolm C. Newey, Christopher P. Wadsworth
A Metalanguage for Interactive Proof in LCF. POPL (1978)
Christopher P. Wadsworth
Approximate Reduction and Lambda Calculus Models. SIAM J. Comput. 7 (3) (1978)
Christopher P. Wadsworth
-Models of the Lambda-Calculus. SIAM J. Comput. 5 (3) (1976)