Christopher P. Wadsworth

According to our database, Christopher P. Wadsworth authored at least 8 papers between 1976 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

Continuations Revisited.

Christopher P. Wadsworth

High. Order Symb. Comput., 2000

Continuations: A Mathematical Semantics for Handling Full Jumps.

Christopher S. Strachey, Christopher P. Wadsworth

High. Order Symb. Comput., 2000

1998

Toward a Model for Shared Data Abstraction with Performance.

Don Goodeve, Simon A. Dobson, Jonathan M. Nash, John R. Davy, Peter M. Dew, Mourad Kara, Christopher P. Wadsworth

J. Parallel Distributed Comput., 1998

1996

Towards a theory of shared data in distributed systems.

Simon A. Dobson, Christopher P. Wadsworth

Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996

1979

Edinburgh LCF

Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth

Lecture Notes in Computer Science 78, Springer, ISBN: 3-540-09724-4, 1979

1978

Approximate Reduction and Lambda Calculus Models.

Christopher P. Wadsworth

SIAM J. Comput., 1978

A Metalanguage for Interactive Proof in LCF.

Michael J. C. Gordon, Robin Milner, F. Lockwood Morris, Malcolm C. Newey, Christopher P. Wadsworth

Proceedings of the Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, 1978

1976

The Relation Between Computational and Denotational Properties for Scott's D_infty-Models of the Lambda-Calculus.

Christopher P. Wadsworth

SIAM J. Comput., 1976