-
1
Lectures on a mathematical theory of computation
Veröffentlicht 1981“… Oxford Univ. Computing Laboratory, Programming Research Group …”
Buch -
2
Outline of a mathematical theory of computation
Veröffentlicht 1970“… Programming Research Group, Oxford Univ. Computing Laboratory …”
Buch -
3
The mathematical semantics of Algol 60
Veröffentlicht 1974“… Oxford Univ. Computing Laboratory, Programming Research Group …”
Buch -
4
Continuous lattices
Veröffentlicht 1971“… Oxford Univ. Computing Laboratory, Programming Research Group …”
Buch