Raymond Turner, Amnon H. Eden
In: Gordana Dodig-Crnkovic, Susan Stuart (eds.) Computation, Information, Cognition—The Nexus and the Liminal, pp. 147–159. Cambridge, UK: Cambridge Scholars Press
Publication year: 2007
We examine the role of semantic theory in determining the ontology of programming languages. We explore how different semantic perspectives result in different ontologies. In particular, we compare the ontological implications of set-theoretic versus type-theoretic semantics.