( en | de | ru )

 

Disambiguation of "Turner, Raymond"

Author of the publication

copydeleteadd this publication to your clipboard
Completion Semantics, Interpreter Generation.

, and . POPL, page 242-254. ACM Press, (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ernst Turner

John Turner

Anke Turner

Ernst Turner

Falko Turner

 

Other publications of authors with the same name

Nominalization and Scott's domains. II.. Notre Dame J. Formal Log., 26 (4): 463-478 (1985)Counterfactuals without possible worlds.. J. Philosophical Logic, 10 (4): 453-493 (1981)The Foundations of Specification.. J. Log. Comput., 15 (5): 623-662 (2005)Weak Theories of Operations and Types.. J. Log. Comput., 6 (1): 5-31 (1996)Computation, Information, Cognition. The Nexus and the Liminal, and . chapter Towards a programming language ontology, page 147-159. Cambridge Scholars Publishing, (2007)Computable Models.. Springer, (2009)Logics for artificial intelligence.. Ellis Horwood series in artificial intelligence Ellis Horwood, (1984)Specification.. Minds and Machines, 21 (2): 135-152 (2011)A Constructive Set Theory for Program Development., and . FSTTCS, volume 338 of Lecture Notes in Computer Science, page 329-347. Springer, (1988)Semantics and Stratification.. J. Log. Comput., 15 (2): 145-158 (2005)