Author of the publication

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.

 

Other publications of authors with the same name

The Foundations of Specification.. J. Log. Comput., 15 (5): 623-662 (2005)Counterfactuals without possible worlds.. J. Philosophical Logic, 10 (4): 453-493 (1981)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)Semantics and Stratification.. J. Log. Comput., 15 (2): 145-158 (2005)Computational Artifacts - Towards a Philosophy of Computer Science. Springer, (2018)