The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus. - Christopher P. Wadsworth (SIAM J. Comput., 1976)

A Metalanguage for Interactive Proof in LCF. - Michael J. C. Gordon; Robin Milner; F. Lockwood Morris; Malcolm C. Newey; Christopher P. Wadsworth (POPL, 1978)

Approximate Reduction and Lambda Calculus Models. - Christopher P. Wadsworth (SIAM J. Comput., 1978)

Edinburgh LCF - Michael J. C. Gordon; Robin Milner; Christopher P. Wadsworth (Springer, 1979)

Towards a theory of shared data in distributed systems. - Simon A. Dobson; Christopher P. Wadsworth (Software Engineering for Parallel and Distributed Systems, 1996)

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)

Continuations: A Mathematical Semantics for Handling Full Jumps. - Christopher S. Strachey; Christopher P. Wadsworth (High. Order Symb. Comput., 2000)

Continuations Revisited. - Christopher P. Wadsworth (High. Order Symb. Comput., 2000)