dblp.uni-trier.dewww.uni-trier.de

Christopher P. Wadsworth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)

Coauthor Index

1John R. Davy [6]
2Peter M. Dew [6]
3Simon A. Dobson (Simon Dobson) [5] [6]
4Don Goodeve [6]
5Michael J. C. Gordon [3] [4]
6Mourad Kara [6]
7Robin Milner [3] [4]
8L. Morris [3]
9Jonathan M. Nash [6]
10Malcolm C. Newey [3]
11Christopher Strachey [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)