Revision as of 00:00, 24 July 2010 edit Imz (talk \| contribs) Extended confirmed users 3,260 edits m →Denotational semantics: +wikilink ← Previous edit		Revision as of 17:05, 12 February 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits m →Denotational semantics: lk Next edit →
Line 46: ** '''Y''' is interpreted by taking the [[least fixed point]] of the argument This model is not [[fully abstract]] for PCF; but it is fully abstract for the language obtained by adding a ''[[parallel or]]'' operator to PCF (p. 293 in the Hyland and Ong 2000 reference below). ==External links==

Programming Computable Functions: Difference between revisions