( en | de | ru )

 

Disambiguation of "Turner, Raymond"

Author of the publication

copydeleteadd this publication to your clipboard
A Constructive Set Theory for Program Development.

, and . FSTTCS, volume 338 of Lecture Notes in Computer Science, page 329-347. Springer, (1988)

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

Counterfactuals without possible worlds.. J. Philosophical Logic, 10 (4): 453-493 (1981)The Foundations of Specification.. J. Log. Comput., 15 (5): 623-662 (2005)Nominalization and Scott's domains. II.. Notre Dame J. Formal Log., 26 (4): 463-478 (1985)Weak Theories of Operations and Types.. J. Log. Comput., 6 (1): 5-31 (1996)Specification.. Minds and Machines, 21 (2): 135-152 (2011)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)Understanding Programming Languages.. Minds and Machines, 17 (2): 203-216 (2007)Three theories of nominalized predicates.. Stud Logica, 44 (2): 165-186 (1985)