Christopher P. Wadsworth
From MaRDI portal
Person:1566884
Available identifiers
zbMath Open wadsworth.christopher-pMaRDI QIDQ1566884
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Continuations revisited | 2000-06-04 | Paper |
| Continuations: A mathematical semantics for handling full jumps | 2000-06-04 | Paper |
| Edinburgh LCF. A mechanized logic of computation | 1993-06-05 | Paper |
| Approximate Reduction and Lambda Calculus Models | 1978-01-01 | Paper |
| The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus | 1976-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Christopher P. Wadsworth
