Typed lambda calculus: Revision history

14 February 2025

• curprev 22:0422:04, 14 February 2025 Ringo62 talk contribs m 6,566 bytes +1 ce undo Tag: Visual edit

1 February 2025

• curprev 16:3816:38, 1 February 2025 Ringo62 talk contribs m 6,565 bytes 0 No edit summary undo Tag: Visual edit

2 October 2024

• curprev 14:4314:43, 2 October 2024 157.193.240.213 talk 6,565 bytes +28 No edit summary undo

1 September 2024

• curprev 13:2813:28, 1 September 2024 MichaelMaggs talk contribs 6,537 bytes 0 sp undo Tag: Shortdesc helper
• curprev 13:2813:28, 1 September 2024 MichaelMaggs talk contribs 6,537 bytes +52 The existing SD is far too long at 82 characters (WP:SDSHORT), should not attempt a definition (WP:SDNOTDEF), and should use simple, readily comprehensible terms (WP:SDJARGON) undo Tag: Shortdesc helper

27 August 2024

• curprev 22:5022:50, 27 August 2024 Jochen Burghardt talk contribs 6,485 bytes −48 Undid revision 1242447572 by MichaelMaggs (talk): not an improvement undo Tag: Undo

26 August 2024

• curprev 21:0821:08, 26 August 2024 MichaelMaggs talk contribs 6,533 bytes +48 Adding local short description: "Logic in computer science", overriding Wikidata description "typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction" undo Tags: Shortdesc helper Reverted

27 July 2024

• curprev 04:3304:33, 27 July 2024 Jochen Burghardt talk contribs 6,485 bytes −55 Undid revision 1236814103 by LR.127 (talk): still misleading undo Tag: Undo

26 July 2024

• curprev 17:2917:29, 26 July 2024 LR.127 talk contribs 6,540 bytes +55 Adding local short description: "Typed formalism (λ) in calculus", overriding Wikidata description "typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction" undo Tags: Shortdesc helper Reverted
• curprev 06:5206:52, 26 July 2024 Jochen Burghardt talk contribs 6,485 bytes −41 Undid revision 1236656838 by LR.127 (talk): shorter, but misleading undo Tag: Undo

25 July 2024

• curprev 21:5221:52, 25 July 2024 LR.127 talk contribs 6,526 bytes +41 Adding local short description: "Symbol in calculus", overriding Wikidata description "typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction" undo Tags: Shortdesc helper Reverted

1 May 2024

• curprev 06:2506:25, 1 May 2024 David Eppstein talk contribs 6,485 bytes −82 rm dup archive-url undo

29 April 2024

• curprev 07:2607:26, 29 April 2024 OAbot talk contribs m 6,567 bytes +33 Open access bot: hdl updated in citation with #oabot. undo

28 April 2024

• curprev 11:0611:06, 28 April 2024 WikiCleanerBot talk contribs m 6,534 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

27 April 2024

• curprev 01:4601:46, 27 April 2024 Ira Leviton talk contribs 6,534 bytes −33 Fixed a reference. Please see Category:CS1 errors: dates. undo

26 April 2024

• curprev 23:5723:57, 26 April 2024 ZenZeppelin talk contribs 6,567 bytes −37 I removed the banner as indicated in the talk undo
• curprev 23:4023:40, 26 April 2024 ZenZeppelin talk contribs 6,604 bytes +242 Added a reference undo Tags: Visual edit Newcomer task Newcomer task: references
• curprev 23:3723:37, 26 April 2024 ZenZeppelin talk contribs 6,362 bytes +674 Added refference undo Tags: Visual edit Newcomer task Newcomer task: references

7 April 2024

• curprev 04:1704:17, 7 April 2024 StoppedTime talk contribs m 5,688 bytes +36 No edit summary undo Tag: Visual edit

20 May 2023

• curprev 19:1519:15, 20 May 2023 John Baez talk contribs 5,652 bytes +327 added reference to a book explaining how typed lambda calculus is the internal language of cartesian closed categories undo

29 September 2022

• curprev 15:3515:35, 29 September 2022 Helmut.brandl talk contribs m 5,325 bytes +1 No edit summary undo
• curprev 15:3415:34, 29 September 2022 Helmut.brandl talk contribs 5,324 bytes +22 No edit summary undo
• curprev 15:1115:11, 29 September 2022 Helmut.brandl talk contribs 5,302 bytes +99 No edit summary undo

21 May 2021

• curprev 19:2419:24, 21 May 2021 Lennart97 talk contribs m 5,203 bytes −8 Disambiguating links to Subtype (link changed to Subtyping) using DisamAssist. undo

19 December 2020

• curprev 01:3801:38, 19 December 2020 Monkbot talk contribs m 5,211 bytes +1 Task 18 (cosmetic): eval 1 template: hyphenate params (1×); undo Tag: AWB

10 November 2020

• curprev 18:5518:55, 10 November 2020 190.21.59.10 talk 5,210 bytes +5 No edit summary undo

8 August 2020

• curprev 09:0909:09, 8 August 2020 Jochen Burghardt talk contribs 5,205 bytes −4 Undid revision 971792205 by The Anome (talk): redlink coincides with lambda calculus, the phrase 'anonymous function abstraction' can be explained there, as can be different notational variants (e.g. in programming languages) undo Tag: Undo
• curprev 07:3507:35, 8 August 2020 The Anome talk contribs 5,209 bytes +4 anonymous function abstraction undo Tag: 2017 wikitext editor

18 February 2020

• curprev 21:0021:00, 18 February 2020 ClueBot NG talk contribs m 5,205 bytes +583 Reverting possible vandalism by 76.79.199.138 to version by RDBrown. Report False Positive? Thanks, ClueBot NG. (3700922) (Bot) undo Tag: Rollback
• curprev 21:0021:00, 18 February 2020 76.79.199.138 talk 4,622 bytes −583 No edit summary undo

4 February 2020

• curprev 05:1905:19, 4 February 2020 RDBrown talk contribs 5,205 bytes +229 →Further reading: →Cite book undo

16 September 2019

• curprev 02:5202:52, 16 September 2019 Omnipaedista talk contribs 4,976 bytes +4 →Further reading undo

18 March 2019

• curprev 19:1719:17, 18 March 2019 GünniX talk contribs m 4,972 bytes −22 →References undo

27 February 2019

• curprev 09:3609:36, 27 February 2019 Jochen Burghardt talk contribs 4,994 bytes +155 →Kinds of typed lambda calculi: mention non-Turing completeness of typed lambda calculi; explain "PCF" at first use; non-termination isn't ensured undo

26 February 2018

• curprev 21:3221:32, 26 February 2018 Alayah64 talk contribs m 4,839 bytes −27 Removed empty "Notes" section undo Tag: Visual edit

28 August 2016

• curprev 20:3420:34, 28 August 2016 Spacetime02 talk contribs 4,866 bytes −1 Removed double space undo Tag: Visual edit: Switched

24 August 2016

• curprev 03:3703:37, 24 August 2016 223.62.188.95 talk 4,867 bytes +4 →Kinds of typed lambda calculi: Added links undo Tags: canned edit summary Mobile app edit

21 July 2016

• curprev 13:1513:15, 21 July 2016 108.27.68.139 talk 4,863 bytes −345 →Applications to programming languages: Removed superfluous example from the Eiffel language- a vast number of languages have anonymous functions and so this example is just confusing. undo

31 March 2015

• curprev 07:4707:47, 31 March 2015 Yobot talk contribs m 5,208 bytes +40 WP:CHECKWIKI error fixes, added Empty section (1) tag using AWB (10896) undo

30 March 2015

• curprev 18:2918:29, 30 March 2015 AnomieBOT talk contribs m 5,168 bytes +16 Dating maintenance tags: {{Citation needed}} undo
• curprev 18:0918:09, 30 March 2015 Jayaguru-Shishya talk contribs 5,152 bytes +18 Changed {{Refimprove}} to {{Unreferenced}} (there's no single source in the article provided) undo
• curprev 18:0818:08, 30 March 2015 Jayaguru-Shishya talk contribs 5,134 bytes +23 Moved the Henk Barendregt source to == Further reading == (hasn't been used even once in the article, but might be good to preserve) undo
• curprev 18:0318:03, 30 March 2015 Jayaguru-Shishya talk contribs 5,111 bytes +16 {{Refimprove}} added undo
• curprev 18:0018:00, 30 March 2015 Jayaguru-Shishya talk contribs 5,095 bytes +19 →Kinds of typed lambda calculi: {{citation needed}} added undo
• curprev 17:5917:59, 30 March 2015 Jayaguru-Shishya talk contribs 5,076 bytes −11 →Kinds of typed lambda calculi: Changed (Barendregt -> Henk Barendregt) undo

28 March 2015

• curprev 16:0216:02, 28 March 2015 Airbornemihir talk contribs m 5,087 bytes +16 →Kinds of typed lambda calculi undo

25 December 2014

• curprev 05:1605:16, 25 December 2014 Omnipaedista talk contribs 5,071 bytes +13 per MOS:DASH undo

24 December 2014

• curprev 22:3322:33, 24 December 2014 SoSivr talk contribs 5,058 bytes +15 →References: added content undo Tags: Mobile edit Mobile web edit

27 April 2014

• curprev 11:3311:33, 27 April 2014 Jayaguru-Shishya talk contribs 5,043 bytes −8 WP:OVERLINK - Removed the links appearing 2x or more (simply typed lambda calculus; Lambda cube) undo

13 August 2013

• curprev 02:1702:17, 13 August 2013 Materialscientist talk contribs m 5,051 bytes −1 Reverted edits by 203.24.9.99 (talk) to last version by Daknok undo