Search the dblp DataBase
Christopher P. Wadsworth :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Michael J. C. Gordon , Robin Milner , L. Morris , Malcolm C. Newey , Christopher P. Wadsworth A Metalanguage for Interactive Proof in LCF. [Citation Graph (3, 0)][DBLP ] POPL, 1978, pp:119-130 [Conf ] Simon A. Dobson , Christopher P. Wadsworth Towards a theory of shared data in distributed systems. [Citation Graph (0, 0)][DBLP ] Software Engineering for Parallel and Distributed Systems, 1996, pp:170-182 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1998, v:49, n:1, pp:156-167 [Journal ] Christopher P. Wadsworth Continuations Revisited. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:131-133 [Journal ] Christopher Strachey , Christopher P. Wadsworth Continuations: A Mathematical Semantics for Handling Full Jumps. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:135-152 [Journal ] Christopher P. Wadsworth The Relation Between Computational and Denotational Properties for Scott's D_\infty-Models of the Lambda-Calculus. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1976, v:5, n:3, pp:488-521 [Journal ] Christopher P. Wadsworth Approximate Reduction and Lambda Calculus Models. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1978, v:7, n:3, pp:337-356 [Journal ] Search in 0.041secs, Finished in 0.041secs