Mogensen–Scott encoding: 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 02:5402:54, 7 July 2024‎ 97.113.38.193 talk‎ 10,512 bytes −3‎ remove extra whitespace at end of section undo Tag: possible vandalism

curprev 21:0521:05, 2 July 2024‎ 2a01:e0a:b01:6d30:217c:801a:f920:a7a6 talk‎ 10,515 bytes 0‎ →‎Type definitions: typo: separation of binder with subterm should be a dot, colon is not meaningless here. undo

curprev 16:0816:08, 3 April 2024‎ Cornmazes talk contribs‎ 10,515 bytes +73‎ No edit summary undo Tags: Mobile edit Mobile web edit

curprev 14:3214:32, 26 November 2023‎ Folly Mox talk contribs‎ 10,442 bytes +225‎ →‎History: oh right i forgot about that. i probably should have tried harder to sleep. undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 14:2614:26, 26 November 2023‎ Folly Mox talk contribs‎ 10,217 bytes +196‎ →‎Comparison to the Church encoding: fix periodical ignored undo Tags: Mobile edit Mobile web edit Advanced mobile edit
curprev 14:2314:23, 26 November 2023‎ Folly Mox talk contribs‎ 10,021 bytes +22‎ →‎History: fix periodical ignored undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 22:3822:38, 12 November 2023‎ 2a01:cb06:b061:82ba:0:34:487b:1101 talk‎ 9,999 bytes −4‎ →‎Type definitions: Fixed typo. undo Tags: Mobile edit Mobile web edit

curprev 10:0610:06, 25 October 2023‎ Citation bot talk contribs‎ 10,003 bytes +28‎ Alter: title, template type. Add: chapter. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 18:3118:31, 30 January 2023‎ Citation bot talk contribs‎ 9,975 bytes +15‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Kline | Category:Lambda calculus | #UCB_Category 39/50 undo

curprev 15:3015:30, 27 January 2023‎ AnomieBOT talk contribs‎ m 9,960 bytes +18‎ Dating maintenance tags: {{Citation needed}} undo
curprev 13:3013:30, 27 January 2023‎ 2dcyborg talk contribs‎ 9,942 bytes +94‎ No edit summary undo

curprev 14:4814:48, 23 June 2022‎ Alpha Piscis Austrini talk contribs‎ m 9,848 bytes +3‎ v2.04 - Fix errors for CW project (Comment tag without correct end) undo Tag: WPCleaner

curprev 12:0612:06, 11 February 2022‎ 2001:630:212:238:3697:f6ff:fe55:5557 talk‎ 9,845 bytes +916‎ No edit summary undo

curprev 22:1522:15, 26 October 2021‎ 136.61.220.229 talk‎ 8,929 bytes −1‎ Grammar fix, had ",." at the end of sentence instead of just a period. undo

curprev 15:1815:18, 14 January 2021‎ Yobot talk contribs‎ m 8,930 bytes +3‎ Fix REFPUNCT + other minor fixes undo Tag: AWB

curprev 09:3509:35, 17 December 2020‎ WikiCleanerBot talk contribs‎ m 8,927 bytes 0‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 14:2214:22, 9 December 2020‎ MaD70 talk contribs‎ 8,927 bytes +11‎ →‎References: Updated link to "Efficient Self-Interpretations in lambda Calculus" and with better format (APA style). undo
curprev 14:1014:10, 9 December 2020‎ MaD70 talk contribs‎ m 8,916 bytes −3‎ →‎References: Updated link to "Directly Reflective Meta-Programming". undo Tag: 2017 wikitext editor

curprev 10:2210:22, 17 April 2020‎ OAbot talk contribs‎ m 8,919 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

curprev 16:2616:26, 6 April 2020‎ InternetArchiveBot talk contribs‎ 8,901 bytes +73‎ Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0 undo

curprev 22:0222:02, 23 March 2020‎ Citation bot talk contribs‎ m 8,828 bytes +19‎ Alter: isbn, page. Add: doi, issue, isbn, volume, series. Removed URL that duplicated unique identifier. Removed accessdate with no specified URL. Formatted dashes. | 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 07:4007:40, 9 February 2020‎ Tea2min talk contribs‎ m 8,809 bytes −3‎ →‎History: Punctuation/whitespace. See MOS:REFPUNCT. undo

curprev 20:2920:29, 21 January 2020‎ Cwjnkins talk contribs‎ m 8,812 bytes +1,754‎ Added historical notes (Scott, Curry, Parigot citations), trade-off between Church and Scott encoding, clarified (with citation) termination and recursive types. undo

curprev 20:0620:06, 24 October 2019‎ Graeme Bartlett talk contribs‎ m 7,058 bytes −1‎ clean up undo Tag: AWB

curprev 01:3801:38, 18 July 2018‎ No identd talk contribs‎ 7,059 bytes +180‎ →‎Type definitions: Added citation needed tag undo Tag: 2017 wikitext editor

curprev 18:4018:40, 16 February 2018‎ ExOFBounds talk contribs‎ m 6,879 bytes +38‎ Citation needed undo Tag: Visual edit

curprev 10:1710:17, 16 August 2016‎ Cedar101 talk contribs‎ m 6,841 bytes −43‎ →‎Mogensen–Scott encoding: \begin{align}{array} undo

curprev 20:3420:34, 29 June 2016‎ Tom.Reding talk contribs‎ m 6,884 bytes −19‎ →‎References: Rem stub tag (class = non-stub & non-list) using AWB undo

curprev 14:0314:03, 16 April 2016‎ 79.210.219.189 talk‎ 6,903 bytes 0‎ →‎Discussion undo

curprev 04:5704:57, 30 December 2015‎ Cedar101 talk contribs‎ m 6,903 bytes −175‎ →‎Discussion: :<math>\begin{array} undo

curprev 19:3719:37, 29 August 2015‎ 93.134.136.6 talk‎ 7,078 bytes +4‎ →‎Discussion undo

curprev 12:5612:56, 16 February 2015‎ 77.88.71.158 talk‎ 7,074 bytes 0‎ →‎Discussion undo

curprev 20:1220:12, 17 May 2014‎ FrescoBot talk contribs‎ m 7,074 bytes −9‎ Bot: link syntax and minor changes undo

curprev 03:4303:43, 12 April 2014‎ 120.149.59.139 talk‎ 7,083 bytes −1‎ No edit summary undo

curprev 07:5307:53, 30 January 2014‎ PieterKoopman talk contribs‎ 7,084 bytes −9‎ →‎History undo

curprev 00:3100:31, 17 January 2014‎ Thepigdog talk contribs‎ 7,093 bytes +110‎ No edit summary undo

curprev 06:4306:43, 11 January 2014‎ Thepigdog talk contribs‎ m 6,983 bytes +1‎ →‎Mogensen–Scott encoding undo
curprev 06:4206:42, 11 January 2014‎ Thepigdog talk contribs‎ m 6,982 bytes +1‎ →‎Scott encoding undo

7 July 2024

2 July 2024

3 April 2024

26 November 2023

12 November 2023

25 October 2023

30 January 2023

27 January 2023

23 June 2022

11 February 2022

26 October 2021

14 January 2021

17 December 2020

9 December 2020

17 April 2020

6 April 2020

23 March 2020

9 February 2020

21 January 2020

24 October 2019

18 July 2018

16 February 2018

16 August 2016

29 June 2016

16 April 2016

30 December 2015

29 August 2015

16 February 2015

17 May 2014

12 April 2014

30 January 2014

17 January 2014

11 January 2014

9 January 2014