Concepedia

Christopher P. Wadsworth

CP

Statistics

Publications

5

Citations

553

H-Index

5

Active since

1976

Affiliations

Oxford Research Group(Current)

Christopher P. Wadsworth is an author at Oxford Research Group specializing in computer science, programming languages, and lambda calculus.

Publications per year

1976–2000

5

Publications

5

The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus

Christopher P. Wadsworth · SIAM Journal on Computing · 1976 · 232 citations

Natural Sciences, Computer Science, Mathematics +15

Continuations: A Mathematical Semantics for Handling Full Jumps

C. Strachey, Christopher P. Wadsworth · LISP and Symbolic Computation · 2000 · 140 citations

Computing, Computer Science, Mathematics +10

A Metalanguage for interactive proof in LCF

Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text

Computing, Computer Science, Formal Methods +8

Approximate Reduction and Lambda Calculus Models

Christopher P. Wadsworth · SIAM Journal on Computing · 1978 · 36 citations

Computing, Computer Science, Mathematics +13

Continuations Revisited

Christopher P. Wadsworth · LISP and Symbolic Computation · 2000 · 18 citations

1–5 of 5