Lambda calculus: Revision history

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 15:2015:20, 9 December 2024 Jerryobject talk contribs m 88,021 bytes +40 →Explanation and applications: Restore link to first instance of important term while avoiding one adjacent link. undo
curprev 12:3212:32, 9 December 2024 Tercer talk contribs 87,981 bytes +9 →Lambda terms: one does need to clarify that we're talking about programming languages, the context is not clear enough undo
curprev 09:4409:44, 9 December 2024 Ian.joyner talk contribs m 87,972 bytes −31 →Lambda terms: No need for C reference. Valid strings applies to any language. undo

curprev 16:5916:59, 7 December 2024 Jochen Burghardt talk contribs 88,003 bytes −27 →Explanation and applications: avoid adjacent links; the previous link programming language theory should be sufficient undo
curprev 16:5516:55, 7 December 2024 Jochen Burghardt talk contribs 88,030 bytes −122 rm of of the repeated wikilinks undo
curprev 08:1908:19, 7 December 2024 Jerryobject talk contribs 88,152 bytes +215 WP:REFerence WP:CITation parameters: update-standardize-conform, respace, reorder. WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs, adds, plurals > WP:SINGULARs. Adds: WP:CATEGORYs, MOS:COMMENT. undo

curprev 21:3921:39, 5 December 2024 Gravidus25 talk contribs 87,937 bytes +59 No edit summary undo
curprev 21:1621:16, 5 December 2024 Gravidus25 talk contribs 87,878 bytes +9 →Explanation and applications undo
curprev 20:2720:27, 5 December 2024 Gravidus25 talk contribs 87,869 bytes +15 No edit summary undo Tag: Visual edit: Switched

curprev 19:4919:49, 25 October 2024 Thiagovscoelho talk contribs 87,854 bytes +21 No edit summary undo

curprev 21:2421:24, 5 October 2024 BrowniesLiker talk contribs m 87,833 bytes 0 Edit hyperlinks undo Tag: Visual edit

curprev 14:5814:58, 12 September 2024 192.234.195.153 talk 87,833 bytes −3 removed 'the'; added comma for clarity undo

curprev 04:5904:59, 28 August 2024 BD2412 talk contribs m 87,836 bytes 0 clean up spacing around commas and other punctuation, replaced: ,B → , B, ,H → , H (2), , → , , ; → ; (5) undo Tag: AWB

curprev 04:0904:09, 27 August 2024 Kvng talk contribs m 87,836 bytes −4 WP:ADOPTYPO undo

curprev 12:4412:44, 14 August 2024 Oneequalsequalsone talk contribs 87,840 bytes −10 →Recursion and fixed points: clarify recursion definition undo Tag: Visual edit

curprev 02:4902:49, 11 July 2024 Mathnerd314159 talk contribs 87,850 bytes +2,119 Undid revision 1233670262 by Tercer (talk) - article is 6081 words, per WP:TOOBIG <6k doesn't justify trimming. the references do not think the subject is a "waste" as they have gone into detail, and WP:DUE accords weight to reliable sources. undo Tag: Undo

curprev 08:4508:45, 10 July 2024 Tercer talk contribs 85,731 bytes −2,119 →Origin of the λ symbol: let's please not waste a large subsection on a subject that all references agree it's completely irrelevant. see WP:DUE. the article is already overly long undo Tag: Reverted

curprev 08:4208:42, 6 July 2024 AlainD talk contribs m 87,850 bytes +13 →Formal definition: minor corrrection in BNF undo

curprev 20:4120:41, 30 June 2024 Pelirodri1248 talk contribs 87,837 bytes +1 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 11:3111:31, 21 June 2024 AlainD talk contribs 87,836 bytes +291 →Definition: Added BNF undo

curprev 07:4207:42, 19 June 2024 Eransgran talk contribs m 87,545 bytes +1 Corrected incorrect name of author (Alma to Alama). undo

curprev 07:5607:56, 12 June 2024 Ancheta Wis talk contribs 87,544 bytes +43 →Definition: use 'reducible expression' undo
curprev 07:5007:50, 12 June 2024 Ancheta Wis talk contribs 87,501 bytes +16 →Reduction: anchor redex undo

curprev 14:4114:41, 11 June 2024 Ancheta Wis talk contribs 87,485 bytes +156 clarify a sentence by restricting its scope to untyped lambda calculus undo

curprev 05:3605:36, 10 June 2024 Aero13792468 talk contribs m 87,329 bytes +5 →β-reduction: keep formula on one line undo

curprev 18:1118:11, 7 June 2024 Xland44 talk contribs 87,324 bytes +17 TM and LC are equivaent undo Tag: Visual edit

curprev 08:1208:12, 22 May 2024 Jochen Burghardt talk contribs 87,307 bytes +2 Undid revision 1225072799 by Abatishchev (talk) undo Tag: Undo
curprev 06:0206:02, 22 May 2024 Abatishchev talk contribs 87,305 bytes −2 No edit summary undo Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit

curprev 21:0621:06, 26 April 2024 Citation bot talk contribs 87,307 bytes +14 Altered template type. Add: eprint, class. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 06:1206:12, 18 April 2024 David Eppstein talk contribs 87,293 bytes +12 grr dab undo
curprev 04:4104:41, 18 April 2024 David Eppstein talk contribs 87,281 bytes −203 fix deadlinks; fix bogus journal in book cite; fix broken anchor; fix arxiv non-journal cite undo Tag: Disambiguation links added

curprev 09:3009:30, 10 April 2024 Jochen Burghardt talk contribs 87,484 bytes +214 →Reduction strategies: example for applicative vs. normal order undo
curprev 08:3708:37, 10 April 2024 Howtonotwin talk contribs 87,270 bytes +440 →Lambda terms: Explain arithmetic symbols in terms, and generally use more careful wording undo Tag: 2017 wikitext editor
curprev 07:5207:52, 10 April 2024 Howtonotwin talk contribs 86,830 bytes +428 →Reduction strategies: More explicit wording undo Tag: 2017 wikitext editor

curprev 20:1620:16, 5 April 2024 BlueBaritone21 talk contribs m 86,402 bytes −4 →History: Fixed minor grammar error. undo

curprev 17:3917:39, 6 March 2024 Bruce1ee talk contribs m 86,406 bytes +2 fixed lint errors – missing end tag undo
curprev 13:2613:26, 6 March 2024 2a00:23c8:728a:2501:e586:ff0c:fb64:56bb talk 86,404 bytes +4 →Alpha equivalence: fmt, introducing term undo

curprev 08:2408:24, 1 March 2024 David Eppstein talk contribs 86,400 bytes +18 →Further reading: first names undo
curprev 08:2408:24, 1 March 2024 David Eppstein talk contribs 86,382 bytes −4 →Typed lambda calculus: rm self-link undo
curprev 08:2308:23, 1 March 2024 David Eppstein talk contribs 86,386 bytes −141 →See also: rm self-link undo

curprev 18:2918:29, 23 February 2024 HeyElliott talk contribs 86,527 bytes −10 MOS:NOTE undo Tag: 2017 wikitext editor

curprev 08:5008:50, 21 February 2024 InternetArchiveBot talk contribs 86,537 bytes +160 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 06:1406:14, 18 February 2024 Materialscientist talk contribs m 86,377 bytes +1 Reverted edits by 2A04:981:6C1A:E800:2456:CD11:DA1B:5C78 (talk) (HG) (3.4.12) undo Tags: Huggle Rollback
curprev 06:1406:14, 18 February 2024 2a04:981:6c1a:e800:2456:cd11:da1b:5c78 talk 86,376 bytes −1 →History undo Tag: Reverted

curprev 16:3516:35, 3 February 2024 Jochen Burghardt talk contribs 86,377 bytes +2 apply MOS:NOBOLD to article body undo
curprev 16:3016:30, 3 February 2024 Jochen Burghardt talk contribs 86,375 bytes −12 →top: cmpletely rm emphasis in lead; shouldn't be boldface, anyway, per MOS:NOBOLD undo
curprev 07:0407:04, 3 February 2024 Ollio talk contribs 86,387 bytes +1 split undefined article, that are not part of the term represented by the noun given in the link. This would be highly confusing in an article full of formal algebraic notations, as kind of wrong sense making undo

curprev 06:0906:09, 24 January 2024 Spida-tarbell talk contribs 86,386 bytes +156 Corrected ref missing journal parameter; journal → technical report undo

curprev 09:3209:32, 22 January 2024 InternetArchiveBot talk contribs 86,230 bytes +150 Rescuing 0 sources and tagging 2 as dead.) #IABot (v2.0.9.5 undo

curprev 21:5521:55, 18 January 2024 Citation bot talk contribs 86,080 bytes +19 Alter: url, title. URLs might have been anonymized. Added publisher. | Use this bot. Report bugs. | Suggested by Abductive | Category:Computability theory | #UCB_Category 52/100 undo

9 December 2024

7 December 2024

5 December 2024

25 October 2024

5 October 2024

12 September 2024

28 August 2024

27 August 2024

14 August 2024

11 July 2024

10 July 2024

6 July 2024

30 June 2024

21 June 2024

19 June 2024

12 June 2024

11 June 2024

10 June 2024

7 June 2024

22 May 2024

26 April 2024

18 April 2024

10 April 2024

5 April 2024

6 March 2024

1 March 2024

23 February 2024

21 February 2024

18 February 2024

3 February 2024

24 January 2024

22 January 2024

18 January 2024