Scott, Dana and Strachey, Christopher "Toward a mathematical semantics for computer languages"
(1966)
Proc. (1971)
Proc. Symp. on Computers and Automata vol. 21 (1971)
Dana Scott
Languages mentioned
Scott
{1969}