closed structure of the category of domains and continuous functions 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. Notes References Appeared as External links Introduction to RealPCF Lexer and Parser for PCF written in SML Programming languages created in 1977 Academic programming languages Educational programming languages Functional languages Programming language theory