Revision as of 05:02, 23 August 2009 edit Functor salad (talk \| contribs) 118 edits add source reference ← Previous edit		Revision as of 00:00, 24 July 2010 edit undo Imz (talk \| contribs) Extended confirmed users 3,260 edits m →Denotational semantics: +wikilink 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