Total objects of domains

A Powerdomain Construction

Gordon Plotkin · SIAM Journal on Computing · 1976 · 639 citations

Natural Sciences, Computer Science, Discrete Mathematics +6

Formal Semantics of Programming Languages

Peter D. Mosses · Electronic Notes in Theoretical Computer Science · 2006 · 93 citations · Full text

Computing, Computer Science, Formal Methods +9

Some Stone spaces and recursion theory

Anil Nerode · Duke Mathematical Journal · 1959 · 42 citations

Natural Sciences, Mathematics, Geometry +8

Computability theory in admissible domains

Edward Sciore, Adrian Tang · 1978 · 12 citations

Computing, Computer Science, Mathematics +9

Effectively given spaces

Tsutomu Kamimura, Adrian Tang · Theoretical Computer Science · 1984 · 11 citations