Beta normal form: 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 19:5419:54, 17 April 2025 2a02:810d:b208:1e00:45f0:cdb2:40bd:3fb4 talk 6,897 bytes +1 Fixed the link to the η-conversion section of the main Lambda Calculus Page undo

curprev 21:1721:17, 17 December 2024 PragyaanRover talk contribs 6,896 bytes +1 Grammatical corrections undo Tags: Visual edit Newcomer task Newcomer task: references

curprev 06:4006:40, 2 December 2024 Remsense talk contribs m 6,895 bytes −9 Reverted 3 edits by JulioISalazarG (talk) to last revision by Beland undo Tags: Twinkle Undo

curprev 17:3217:32, 1 December 2024 DrBorgI talk contribs 6,904 bytes +4 →Reduction strategies: Improving grammar. undo Tags: Reverted Visual edit Newcomer task Newcomer task: references
curprev 17:1617:16, 1 December 2024 DrBorgI talk contribs 6,900 bytes +5 →Reduction strategies: Improving grammar. undo Tags: Reverted Visual edit Newcomer task Newcomer task: references
curprev 17:1317:13, 1 December 2024 DrBorgI talk contribs 6,895 bytes 0 Changing punctuation for consistency. undo Tags: Reverted Visual edit Newcomer task Newcomer task: references

curprev 21:3421:34, 26 August 2024 Beland talk contribs m 6,895 bytes −8 convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB) undo

curprev 17:3517:35, 15 April 2024 Thiagovscoelho talk contribs 6,903 bytes +26 No edit summary undo

curprev 19:2319:23, 9 April 2023 HJ Mitchell talk contribs m 6,877 bytes +6,811 Reverted edits by Buchi Chidubem (talk) to last version by WikiCleanerBot Tags: Removed redirect Rollback Disambiguation links added
curprev 19:1019:10, 9 April 2023 Buchi Chidubem talk contribs 66 bytes −6,811 (edit summary removed) Tags: New redirect Reverted

curprev 02:3702:37, 28 February 2023 WikiCleanerBot talk contribs m 6,877 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 04:1504:15, 27 February 2023 Burritok talk contribs 6,877 bytes +4 move template to section missing citations undo Tag: Visual edit
curprev 03:5903:59, 27 February 2023 Burritok talk contribs 6,873 bytes +415 add uniqueness of normal form undo Tag: Visual edit
curprev 01:2701:27, 27 February 2023 Burritok talk contribs 6,458 bytes +792 →Beta reduction: add refs undo Tag: Visual edit

curprev 18:1118:11, 30 January 2023 Citation bot talk contribs 5,666 bytes +34 Alter: template type. Add: encyclopedia. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Kline | Category:Lambda calculus | #UCB_Category 1/50 undo

curprev 09:5009:50, 6 May 2021 Ancheta Wis talk contribs 5,632 bytes +4 →Beta reduction: link Lambda_calculus_definition#Weak_head_normal_form undo

curprev 21:1621:16, 5 May 2021 BattyBot talk contribs 5,628 bytes +7 →top: Replaced {{unreferenced}} with {{more citations needed}} and other General fixes undo Tag: AWB

curprev 11:4611:46, 3 May 2021 WikiCleanerBot talk contribs m 5,621 bytes −1 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 14:1414:14, 30 April 2021 193.52.24.14 talk 5,622 bytes +39 fixed definition of whnf undo

curprev 02:2102:21, 29 April 2021 AnomieBOT talk contribs m 5,583 bytes +16 Dating maintenance tags: {{Unreferenced}} undo
curprev 00:2000:20, 29 April 2021 91.247.71.22 talk 5,567 bytes +17 literature/further reading missing undo

curprev 19:1019:10, 18 October 2020 66.75.243.107 talk 5,550 bytes −1 fix broken link undo

curprev 22:0322:03, 26 September 2020 Earlyspring talk contribs m 5,551 bytes +4 →Beta reduction undo

curprev 21:3321:33, 19 April 2020 86.212.149.224 talk 5,547 bytes +621 Priority of application higher than abstraction; Weak-Head Normal Form undo

curprev 19:4419:44, 17 September 2017 Cic talk contribs 4,926 bytes −31 →Beta reduction: Fixup undo

curprev 01:0301:03, 26 March 2017 24.85.232.10 talk 4,957 bytes 0 →Reduction strategies undo

curprev 00:2000:20, 25 March 2017 24.85.232.10 talk 4,957 bytes +7 →Reduction strategies undo
curprev 00:1800:18, 25 March 2017 24.85.232.10 talk 4,950 bytes +22 →Beta reduction undo
curprev 00:1500:15, 25 March 2017 24.85.232.10 talk 4,928 bytes −1 →Beta reduction undo
curprev 00:1500:15, 25 March 2017 24.85.232.10 talk 4,929 bytes −80 →Beta reduction undo

curprev 05:0105:01, 31 October 2016 2001:56a:70a4:ab00:3602:86ff:fec4:b3be talk 5,009 bytes −6 →Reduction strategies undo

curprev 21:5621:56, 16 August 2016 BG19bot talk contribs m 5,015 bytes −1 →Reduction strategies: Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at [[Wikipedia talk:WikiProject Accessibility#LIS... undo

curprev 09:4509:45, 16 June 2016 Maëlan talk contribs m 5,016 bytes +348 →Beta reduction: formatting, more definitions undo
curprev 09:2309:23, 16 June 2016 Maëlan talk contribs m 4,668 bytes +110 →Reduction strategies: formatting (+ evaluation strategy → [reduction strategy]]) undo
curprev 09:1609:16, 16 June 2016 Maëlan talk contribs 4,558 bytes +614 more definitions undo
curprev 09:0009:00, 16 June 2016 Maëlan talk contribs 3,944 bytes +327 →Reduction strategies: normalization theorem undo

curprev 07:0107:01, 27 April 2016 Cedar101 talk contribs m 3,263 bytes −16 →Reduction strategies: :<math>\begin{align} undo

curprev 23:4623:46, 30 November 2015 Trappist the monk talk contribs m 3,279 bytes −46 remove/repair improper use of urls in cs1|2 templates; using AWB undo

curprev 20:4020:40, 26 May 2015 Synthwave.94 talk contribs 3,325 bytes +2 No edit summary undo

curprev 18:4718:47, 8 August 2014 Shallchang talk contribs 3,323 bytes −5 →Reduction strategies undo Tag: gettingstarted edit

curprev 22:4922:49, 27 December 2013 BD2412 talk contribs m 3,328 bytes +17 →See also: Fixing links to disambiguation pages using AWB undo

curprev 16:3016:30, 18 November 2013 Jpbowen talk contribs 3,311 bytes +269 Category, ref undo

curprev 03:3303:33, 14 March 2013 Addbot talk contribs m 3,042 bytes −44 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q4897305 undo

curprev 01:3701:37, 6 December 2011 JonathasDantas talk contribs 3,086 bytes +25 No edit summary undo

curprev 12:0612:06, 16 December 2009 SmackBot talk contribs m 3,061 bytes +18 remove Erik9bot category,outdated, tag and general fixes undo

17 April 2025

17 December 2024

2 December 2024

1 December 2024

26 August 2024

15 April 2024

9 April 2023

28 February 2023

27 February 2023

30 January 2023

6 May 2021

5 May 2021

3 May 2021

30 April 2021

29 April 2021

18 October 2020

26 September 2020

19 April 2020

17 September 2017

26 March 2017

25 March 2017

31 October 2016

16 August 2016

16 June 2016

15 June 2016

27 April 2016

30 November 2015

26 May 2015

8 August 2014

27 December 2013

18 November 2013

14 March 2013

6 December 2011

16 December 2009