×

Wadsworth, Christopher P.

Compute Distance To:
Author ID: wadsworth.christopher-p Recent zbMATH articles by "Wadsworth, Christopher P."
Published as: Wadsworth, Christopher P.; Wadsworth, C. P.
External Links: MGP
Documents Indexed: 6 Publications since 1976, including 1 Book
1 Further Contribution
Co-Authors: 8 Co-Authors with 3 Joint Publications
61 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 232 times in 200 Documents Cited by Year
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
110
1979
The relation between computational and denotational properties for Scott’s \(D_\infty\)-models of the lambda-calculus. Zbl 0346.02013
Wadsworth, Christopher P.
68
1976
Continuations: A mathematical semantics for handling full jumps. Zbl 0951.68078
Strachey, Christopher; Wadsworth, Christopher P.
21
2000
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Approximate reduction and lambda calculus models. Zbl 0407.03021
Wadsworth, Christopher P.
12
1978
Continuations revisited. Zbl 0951.68077
Wadsworth, Christopher P.
5
2000
Toward a model for shared data abstraction with performance. Zbl 0919.68019
Goodeve, D. M.; Dobson, S. A.; Nash, J. M.; Davy, J. R.; Dew, P. M.; Kara, M.; Wadsworth, C. P.
1
1998
Continuations: A mathematical semantics for handling full jumps. Zbl 0951.68078
Strachey, Christopher; Wadsworth, Christopher P.
21
2000
Continuations revisited. Zbl 0951.68077
Wadsworth, Christopher P.
5
2000
Toward a model for shared data abstraction with performance. Zbl 0919.68019
Goodeve, D. M.; Dobson, S. A.; Nash, J. M.; Davy, J. R.; Dew, P. M.; Kara, M.; Wadsworth, C. P.
1
1998
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Edinburgh LCF. A mechanized logic of computation. Zbl 0421.68039
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P.
110
1979
Approximate reduction and lambda calculus models. Zbl 0407.03021
Wadsworth, Christopher P.
12
1978
The relation between computational and denotational properties for Scott’s \(D_\infty\)-models of the lambda-calculus. Zbl 0346.02013
Wadsworth, Christopher P.
68
1976
all top 5

Cited by 277 Authors

10 Dezani-Ciancaglini, Mariangiola
8 van Bakel, Steffen
6 Bundy, Alan
6 Ronchi Della Rocca, Simona
5 Blanchette, Jasmin Christian
5 Danvy, Olivier
4 Constable, Robert Lee
4 Manzonetto, Giulio
4 Nipkow, Tobias
4 Plotkin, Gordon D.
4 Woodcock, James C. P.
3 Bickford, Mark
3 Böhme, Sascha
3 Coppo, Mario
3 Curien, Pierre-Louis
3 de Vries, Fer-Jan J.
3 Paolini, Luca
3 Paulson, Lawrence Charles
3 Rowe, Reuben N. S.
3 Schmidt, David A.
3 Thielecke, Hayo
2 Armando, Alessandro
2 Barendregt, Hendrik Pieter
2 Berline, Chantal
2 Boulton, Richard J.
2 Cavalcanti, Ana
2 Coquand, Thierry
2 Davis, Jared
2 Dybjer, Peter
2 Farmer, William M.
2 Felty, Amy P.
2 Fernández, Maribel
2 Fleuriot, Jacques D.
2 Fleury, Mathias
2 Giunchiglia, Fausto
2 Howe, Douglas J.
2 Intrigila, Benedetto
2 Ireland, Andrew
2 Jamnik, Mateja
2 Kerth, Rainer
2 Klop, Jan Willem
2 Longo, Giuseppe
2 Margaria, Ines
2 Miller, Dale Allen
2 Milner, Robin
2 Myreen, Magnus O.
2 Nielsen, Lasse R.
2 Oliveira, Marcel
2 Polonsky, Andrew
2 Sacerdoti Coen, Claudio
2 Sangiorgi, Davide
2 Scott, Phil
2 Severi, Paula Gabriela
2 Shan, Chung-chieh
2 Slind, Konrad
2 Statman, Rick
2 Tassi, Enrico
2 Thatte, Satish R.
2 Tian, Chun
2 Urbas, Matej
2 van Bakel, Steffen J.
2 Weber, Tjark
2 Weidenbach, Christoph
2 Wenzel, Makarius
2 Xi, Hongwei
2 Zacchi, Maddalena
2 Zacchiroli, Stefano
2 Zeyda, Frank
1 AbdelGawad, Moez A.
1 Abed, Sa’ed
1 Aiello, Mario
1 Aït Mohamed, Otmane
1 Alessi, Fabio
1 Alkassar, Eyad
1 Allen, Stuart F.
1 Allison, Lloyd
1 Andrews, Peter B.
1 Ariola, Zena M.
1 Asai, Kenichi
1 Asperti, Andrea
1 Aspinall, David
1 Astesiano, Egidio
1 Back, Ralph-Johan
1 Bainbridge, E. S.
1 Bandur, Victor
1 Barbanera, Franco
1 Barringer, Howard
1 Basin, David A.
1 Beeson, Michael J.
1 Bentkamp, Alexander
1 Berger, Martin J.
1 Bergstra, Jan A.
1 Berry, Gerard
1 Biernacka, Małgorzata
1 Biernacki, Dariusz
1 Bishop, Matthew
1 Blandford, Ann
1 Blikle, Andrzej Jacek
1 Blondeau, Celine
1 Böhm, Corrado
...and 177 more Authors

Citations by Year