Dana Scott

Continuous lattices

1981

Lectures on a mathematical the

Lectures on a mathematical theory of computation

1981

Notes on the formalization of

Notes on the formalization of logic

1981

The lattice of flow diagrams

The lattice of flow diagrams

1970