Dana S. Scott
7 published titles
The lattice of flow diagrams
1 edition
- ISBN: 0902928007
- Oxford University Computing Laboratory, Programming Research Group
- 1970
- Details
Outline of a mathematical theory of computation
1 edition
- ISBN: 0902928015
- Oxford University Computing Laboratory, Programming Research Group
- 1970
- Details
Continuous lattices
1 edition
- ISBN: 0902928023
- Oxford University Computing Laboratory, Programming Research Group
- 1971
- Details
Toward a mathematical semantics for computer languages
1 edition
- ISBN: 0902928031
- Oxford University Computing Laboratory, Programming Research Group
- 1971
- Details
A selective bibliography of philosophical logic
(Contributor)
2 editions
- ISBN: 0905740009
- Sub-faculty of Philosophy, University of Oxford
- 1975
- Details
- Sub-faculty of Philosophy University of Oxford
- 1978
- Details
A bibliography of logic books
(Contributor)
1 edition
- ISBN: 0905740033
- Sub-faculty of Philosophy University of Oxford
- 1975
- Details
The 'Lemmon notes' : an introduction to modal logic
(Contributor)
1 edition
- ISBN: 0631115501
- Blackwell
- 1977
- Details
