Programming Computable Functions: Difference between revisions

Revision as of 21:26, 15 February 2006

Revision as of 21:44, 26 February 2006

Line 39:

| id = {{doi|10.1006/inco.1995.1103}}

}}

*{{Bookcite referencebook

| Authorauthor = Ong, C.-H. L.

| Yearyear = 1995

| Titletitle = Handbook of Logic in Computer Science

| Chapterchapter = Correspondence between Operational and Denotational Semantics: The Full Abstraction Problem for PCF

| Editoreditor = Abramsky, S., Gabbay, D., and Maibau, T. S. E.

| Pagespages = 269-356

| Publisherpublisher = Oxford University Press

| URLurl = http://users.comlab.ox.ac.uk/luke.ong/publications/index.html

}}

*{{ cite journal