Lambda calculus definition: 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 18:4018:40, 15 July 2025 Scrooge Mcduc talk contribs 30,628 bytes −21 →Free and bound variable sets: #Beta-redex (capture avoiding) is no longer a header. Instead we can link to #Substitution, where we see the (Ly.M)[x:=N] = M[x:=N] as long as y != x and y not in FV(N). undo
curprev 18:3418:34, 15 July 2025 Scrooge Mcduc talk contribs 30,649 bytes +2 →β-reduction (capture avoiding): add parens. Lx.b y means Lx.(b y) by the previously defined rule that bodies extend as far right as possible. Here we want the application (Lx.b)y undo
curprev 18:0518:05, 15 July 2025 Scrooge Mcduc talk contribs 30,647 bytes +29 →Syntax definition in BNF undo

curprev 03:0503:05, 10 June 2024 LucasBrown talk contribs 30,575 bytes −26 Changing short description from "Summary of formal definitions of lambda calculus" to "Mathematical formalism" undo Tag: Shortdesc helper

curprev 08:2908:29, 3 June 2024 96.36.47.50 talk 30,601 bytes +28 →Free and bound variables: Link was no longer working. Replaced with a link that works. undo

curprev 01:4901:49, 19 May 2024 WikiCleanerBot talk contribs m 30,573 bytes −6 v2.05b - Bot T5 CW#16 - Fix errors for CW project (Unicode control characters) undo Tag: WPCleaner

curprev 20:2120:21, 14 May 2024 83.200.42.60 talk 30,579 bytes −6 →Weak head normal form: Typo undo Tag: Visual edit
curprev 20:1820:18, 14 May 2024 83.200.42.60 talk 30,585 bytes +749 →Weak head normal form: There is a gigantic issue in this sections. I brought citations so it will help in resolving it eventually. undo Tag: Visual edit

curprev 05:2805:28, 28 October 2023 153.90.89.147 talk 29,836 bytes 0 →Evaluation strategy: Fixed error with expression; `canonym` takes 2 arguments, `eval` takes 1. undo

curprev 18:3418:34, 3 October 2023 82.13.227.102 talk 29,836 bytes 0 the x was not correctly substituted for a, it was corrected in the Beta 2 expression but not in the first undo Tag: Visual edit
curprev 17:0017:00, 3 October 2023 FootnoteFanaticKK talk contribs m 29,836 bytes +1 Add the missing colon in BNF expression undo Tag: Visual edit

curprev 20:2820:28, 21 March 2023 JohnJohnHui talk contribs 29,835 bytes +65 Undid revision 1141970109 by JohnJohnHui (talk). https://stackoverflow.com/a/57441100 clarifies the clause I previously deleted. undo Tag: Undo

curprev 20:4520:45, 27 February 2023 JohnJohnHui talk contribs 29,770 bytes −65 →Weak head normal form: The rules as previously presented describe /head normal form/, not /weak head normal form/. In particular, weak head normal precludes redexes within lambda bodies. undo Tag: Reverted

curprev 23:2823:28, 14 August 2021 Mathnerd314159 talk contribs 29,841 bytes −4,681 remove section - it's just a copy of Lambda calculus#Reduction strategies. It isn't a definition so doesn't seem to contribute to this page →Evaluation strategy undo

curprev 04:3704:37, 28 November 2020 Monkbot talk contribs m 34,522 bytes −160 Task 18 (cosmetic): eval 6 templates: del empty params (13×); hyphenate params (4×); undo Tag: AWB

curprev 19:4119:41, 17 November 2020 Renamed user 35h9b24b933rhb talk contribs 34,682 bytes +40 →top: Moved first sentence to short description. Moved {{for}} above {{technical}} per MOS:LAYOUT. Changed lambda calculus definition to be more consistent with the main lambda calculus article. Added wikilink to function application (lambda abstraction redirects to lambda calculus, which is already linked in the {{for}} hatenote). undo

curprev 11:4811:48, 25 July 2020 WOSlinker talk contribs m 34,642 bytes +144 change source to syntaxhighlight undo

curprev 15:4715:47, 24 June 2020 200.126.244.7 talk 34,498 bytes +5 →Free and bound variable sets: More conventional symbols for set difference and empty set. undo

curprev 04:2204:22, 26 March 2020 Citation bot talk contribs m 34,490 bytes 0 Add: date. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 02:5102:51, 31 January 2020 Sir Dirt talk contribs 34,436 bytes +33 Cleaned up obsolete HTML <tt> tags undo

curprev 19:3419:34, 24 September 2019 Monkbot talk contribs m 34,539 bytes −61 →Definition: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB