Programming Computable Functions: Difference between revisions

Content deleted Content added
DOI bot (talk | contribs)
m Citation maintenance. You can use this bot yourself! Please report any bugs.
Citation bot (talk | contribs)
m Updating page numbers after recent improvement to Template:Cite book. Formatted: pages.
Line 51:
| chapter = Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF
| editor = Abramsky, S., Gabbay, D., and Maibau, T. S. E.
| pages = 269-356269–356
| publisher = Oxford University Press
| url = http://users.comlab.ox.ac.uk/luke.ong/publications/index.html