Revision as of 04:53, 23 August 2009 edit Functor salad (talk \| contribs) 118 edits quick sketch of denotational semantics ← Previous edit		Revision as of 05:02, 23 August 2009 edit undo Functor salad (talk \| contribs) 118 edits add source reference 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).

Programming Computable Functions: Difference between revisions