Talk:Programming Computable Functions - Revision history

Cewbot: Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.

2024-02-08T12:01:52Z

Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{WikiProject Computer science}}.

← Previous revision		Revision as of 12:01, 8 February 2024
Line 1:		Line 1:
	{{WikiProject ~~Computer~~ ~~science~~\|class=~~start~~\|~~importance=low}}~~		{{WikiProject banner shell\|class=Start\|
			{{WikiProject Computer science\|importance=low}}

			}}
	== History ==		== History ==

Ruud Koot: /* History */

2013-07-18T10:10:50Z

History

← Previous revision		Revision as of 10:10, 18 July 2013
Line 4:		Line 4:

	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)		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)

			: Robin Milner (1973). "[ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/73/332/CS-TR-73-332.pdf Models of LCF]" calls the system in Scott's 1969 unpublished manuscript "a logic of computable functions". Ergo, [[Logic of Computable Functions]] should probable be merged here. —''[[User:Ruud Koot\|Ruud]]'' 10:10, 18 July 2013 (UTC)

Ruud Koot at 09:47, 18 July 2013

2013-07-18T09:47:38Z

← Previous revision		Revision as of 09:47, 18 July 2013
Line 3:		Line 3:
	== History ==		== 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)		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)

Ruud Koot: /* History */ new section

2013-07-18T09:47:09Z

History: new section

← Previous revision		Revision as of 09:47, 18 July 2013
Line 1:		Line 1:
	{{WikiProject Computer science\|class=start\|importance=low}}		{{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)

Ruud Koot: moved Talk:Programming language for Computable Functions to Talk:Programming Computable Functions

2011-02-25T16:13:37Z

moved Talk:Programming language for Computable Functions to Talk:Programming Computable Functions

← Previous revision	Revision as of 16:13, 25 February 2011
(No difference)

Ruud Koot: {{WikiProject Computer science|class=start|importance=low}}

2011-02-12T18:00:50Z

← Previous revision		Revision as of 18:00, 12 February 2011
Line 1:		Line 1:
	{{WikiProject ~~Computing~~\|class=\|importance=}}		{{WikiProject Computer science\|class=start\|importance=low}}

TinucherianBot: WP:COMPUTING Tagging ( False Postive ?? ) :(Plugin++) Added {{WikiProject Computing}}.

2008-06-26T10:52:04Z

WP:COMPUTING Tagging ( False Postive ?? ) :(Plugin++) Added {{WikiProject Computing}}.

New page