Matches in DBpedia 2016-04 for { <http://users.comlab.ox.ac.uk/luke.ong/publications/index.html> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- index.html author "Ong, C.-H. L.".
- index.html chapter "Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF".
- index.html editor "Abramsky, S., Gabbay, D., and Maibau, T. S. E.".
- index.html isCitedBy Programming_Computable_Functions.
- index.html pages "269–356".
- index.html publisher "Oxford University Press".
- index.html title "Handbook of Logic in Computer Science".
- index.html url index.html.
- index.html year "1995".