Programming Computable Functions: Revision history

Article
Talk

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 16:1316:13, 25 February 2011 Ruud Koot talk contribs m 5,667 bytes 0 moved Programming language for Computable Functions to Programming Computable Functions undo

curprev 17:0817:08, 12 February 2011 Ruud Koot talk contribs 5,667 bytes +47 Category:Educational programming languages undo
curprev 17:0517:05, 12 February 2011 Ruud Koot talk contribs m 5,620 bytes +4 →Denotational semantics: lk undo

curprev 00:0000:00, 24 July 2010 Imz talk contribs m 5,616 bytes +3 →Denotational semantics: +wikilink undo

curprev 05:0205:02, 23 August 2009 Functor salad talk contribs 5,613 bytes +52 add source reference undo
curprev 04:5304:53, 23 August 2009 Functor salad talk contribs 5,561 bytes +1,283 quick sketch of denotational semantics undo
curprev 04:2204:22, 23 August 2009 Functor salad talk contribs 4,278 bytes +1,234 Add section: Syntax undo

curprev 18:0118:01, 14 December 2008 Citation bot talk contribs m 3,044 bytes +2 Updating page numbers after recent improvement to Template:Cite book. Formatted: pages. undo

curprev 13:0213:02, 28 May 2008 DOI bot talk contribs m 3,042 bytes −35 Citation maintenance. You can use this bot yourself! Please report any bugs. undo

curprev 19:5319:53, 22 March 2008 CRGreathouse talk contribs m 3,077 bytes −12 link undo
curprev 19:0019:00, 22 March 2008 CRGreathouse talk contribs m 3,089 bytes +7 narrow cat undo

curprev 19:1519:15, 28 January 2008 209.10.200.2 talk 3,082 bytes +1 No edit summary undo

curprev 17:4817:48, 17 November 2007 SmackBot talk contribs 3,081 bytes 0 Standard headings &/or gen fixes. using AWB undo

curprev 21:4921:49, 22 June 2007 62.56.113.200 talk 3,081 bytes +561 Include mention of and reference to Loader's article demonstrating that the finitary fragment of PCF is not decidable undo

curprev 21:0021:00, 12 December 2006 131.94.132.68 talk 2,520 bytes +104 No edit summary undo

curprev 14:5914:59, 31 July 2006 Wipe talk contribs m 2,416 bytes +1 (oops) undo
curprev 14:5814:58, 31 July 2006 Wipe talk contribs m 2,415 bytes +5 Stub-sort: compu-stub -> compu-lang-stub undo

curprev 01:1501:15, 24 July 2006 Koffieyahoo talk contribs m 2,410 bytes +4 add the undo
curprev 01:1401:14, 24 July 2006 Koffieyahoo talk contribs m 2,406 bytes +8 rephrase opening undo

curprev 14:0514:05, 22 July 2006 Marudubshinki talk contribs m 2,398 bytes −4 Robot: Removing selflinks undo

curprev 02:0502:05, 28 March 2006 80.55.196.98 talk 2,402 bytes +1 typo undo

curprev 21:4421:44, 26 February 2006 That Guy, From That Show! talk contribs 2,401 bytes −5 migrate {{book reference}} to {{cite book}} using AWB undo

curprev 21:2621:26, 15 February 2006 Ligulembot talk contribs 2,406 bytes −23 AWB assisted migrate {{journal reference}} to {{cite journal}} undo

curprev 08:2808:28, 19 January 2006 Koffieyahoo talk contribs 2,429 bytes +1,580 patch up the sentence on full abstraction and add the relevant references undo

curprev 17:0917:09, 18 January 2006 Smimram talk contribs 849 bytes +78 added a ref to game semantics undo

curprev 11:0011:00, 10 January 2006 Koffieyahoo talk contribs m 771 bytes 0 move stub to the bottom undo
curprev 10:5910:59, 10 January 2006 Koffieyahoo talk contribs 771 bytes +261 add reference to Plotkin's original article undo

Retrieved from "https://en.wikipedia.org/wiki/Programming_Computable_Functions"