×
Scott, D.

Outline of a mathematical theory of computation. (Russian) Zbl 0419.68076

Kibern. Sb., Nov. Ser. 14, 107-121 (1977).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0419.68076

Cited in 1 Review
Cited in 28 Documents

MSC:

68Q65 Abstract data types; algebraic specification
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
68N01 General topics in the theory of software
68P05 Data structures

Keywords:

mathematical theory of computation; data types; lattices; continuous mappings; mathematical semantics for high level programming languages; topological interpretation
Cite Review PDF