Jump to content

Pattern calculus: Revision history

View logs for this page (view filter log)

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:2018:20, 30 January 2023 Citation bot talk contribs 4,229 bytes −55 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Kline | Category:Lambda calculus | #UCB_Category 21/50 undo
curprev 05:0905:09, 30 January 2023 OAbot talk contribs m 4,284 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 23:4623:46, 3 September 2022 RDBrown talk contribs 4,267 bytes +1,030 →External links: →cite journal, book | Alter: pages. Add: s2cid. Formatted dashes. | Use this tool. Report bugs. | #UCB_Gadget undo

curprev 14:5014:50, 7 January 2022 66.228.13.164 talk 3,237 bytes +4 No edit summary undo

curprev 16:3416:34, 22 February 2021 67.198.37.16 talk 3,233 bytes +155 →External links: point to archive.org for the actual papers; all the other websites are dead. undo

curprev 04:0404:04, 13 February 2020 GreenC bot talk contribs 3,078 bytes −7 Move 1 url. Wayback Medic 2.5 undo

curprev 05:4605:46, 29 November 2019 IFcoltransG talk contribs m 3,085 bytes +35 Fixed up HTML -> wikicode undo

curprev 02:5702:57, 24 February 2019 AnomieBOT talk contribs m 3,050 bytes +19 Dating maintenance tags: {{Cleanup HTML}} undo
curprev 02:3702:37, 24 February 2019 Beland talk contribs 3,031 bytes +16 {{cleanup HTML}} undo

curprev 23:0723:07, 7 September 2017 KolbertBot talk contribs m 3,015 bytes +1 Bot: HTTP→HTTPS undo

curprev 14:3714:37, 6 June 2017 130.209.246.94 talk 3,014 bytes −157 Delete broken link undo Tag: Visual edit

curprev 23:3023:30, 10 November 2016 Isacdaavid talk contribs 3,171 bytes +39 Needs references and footnote citations undo

curprev 22:4722:47, 21 August 2014 Yobot talk contribs m 3,132 bytes −39 Tagging + other fixes, removed underlinked tag using AWB (10392) undo

curprev 03:5203:52, 19 January 2014 Mark viking talk contribs m 3,171 bytes +4 Fixing typo raised by BracketBot Fixing typo undo
curprev 03:3603:36, 19 January 2014 Mark viking talk contribs 3,167 bytes +121 Added wl and one redlink undo

curprev 12:0212:02, 29 April 2013 14.200.76.59 talk 3,046 bytes −14 →External links undo

curprev 15:1715:17, 1 December 2012 Yobot talk contribs m 3,060 bytes +39 clean up /fixed checkwiki error 18, added underlinked tag using AWB (8717) undo

curprev 10:1210:12, 5 October 2012 195.217.47.254 talk 3,021 bytes +1 Fix typo undo

curprev 05:3705:37, 15 August 2012 138.25.8.139 talk 3,020 bytes −23 No edit summary undo

curprev 06:0406:04, 10 August 2012 Barry Jay Sydney talk contribs m 3,043 bytes +7 No edit summary undo

curprev 00:4300:43, 7 August 2012 Barry Jay Sydney talk contribs 3,036 bytes +2,121 No edit summary undo

curprev 23:5423:54, 6 August 2012 Barry Jay Sydney talk contribs 915 bytes +493 No edit summary undo

curprev 04:4404:44, 28 January 2011 Michael Hardy talk contribs 422 bytes +26 context undo

curprev 22:5622:56, 26 January 2011 Clayrat talk contribs 396 bytes +396 ←Created page with ''''Pattern calculus''' is a formalism which extends lambda calculus with abilities to match patterns against an arbitrary compound data structure (''path polymo...'

Retrieved from "https://en.wikipedia.org/wiki/Pattern_calculus"