Talk:Programming Computable Functions: Difference between revisions

Revision as of 16:13, 25 February 2011

Revision as of 09:47, 18 July 2013

Line 1:

{{WikiProject Computer science|class=start|importance=low}}

== History ==

I've removed the claims "introduced by Gordon Plotkin in 1977. It is based on the Logic of Computable Functions (LCF) by Dana Scott." from the introduction (which were added by myself a while ago, IIRC). I'm not sure if the Scott's manuscript actually uses the name "PCF" anywhere, or if this was instead introduced by Plotkin or someone else. —''[[User:Ruud Koot|Ruud]]'' 09:47, 18 July 2013 (UTC)