Lambda cube: 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 05:0205:02, 1 February 2024‎ Hames Janson talk contribs‎ 20,596 bytes −96‎ →‎See also: Removed HoTT link because of unclear specific relevance to article. undo Tags: Mobile edit Mobile web edit

curprev 12:4612:46, 5 December 2023‎ Kuulopuhe talk contribs‎ m 20,692 bytes +1‎ Colon undo

curprev 05:0305:03, 20 November 2023‎ Srleffler talk contribs‎ m 20,691 bytes −18‎ WP:MOSBOLD undo

curprev 08:4008:40, 10 November 2023‎ Ncfavier talk contribs‎ 20,709 bytes −195‎ Remove rewrite template as the initial concerns seem to be resolved undo

curprev 19:0219:02, 6 November 2023‎ 90.234.75.94 talk‎ 20,904 bytes +2‎ →‎See also undo
curprev 19:0219:02, 6 November 2023‎ 90.234.75.94 talk‎ 20,902 bytes +2‎ →‎See also undo

curprev 06:2006:20, 18 October 2023‎ 166.70.31.28 talk‎ 20,900 bytes 0‎ →‎Formal definition undo
curprev 06:1906:19, 18 October 2023‎ 166.70.31.28 talk‎ 20,900 bytes +1‎ →‎Formal definition undo
curprev 06:1606:16, 18 October 2023‎ 166.70.31.28 talk‎ 20,899 bytes +1‎ →‎(Fω) System Fω undo

curprev 23:1723:17, 12 July 2023‎ Jawadwahmed talk contribs‎ 20,898 bytes +1‎ changed "first-order" to "zeroth-order" undo Tag: Visual edit

curprev 21:2421:24, 23 May 2023‎ 97.75.169.6 talk‎ 20,897 bytes +85‎ →‎(λω) System Fω undo

curprev 17:5317:53, 30 January 2023‎ Citation bot talk contribs‎ 20,812 bytes +65‎ Add: website, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 90/111 undo

curprev 02:0002:00, 8 February 2022‎ 188.187.129.78 talk‎ 20,747 bytes 0‎ →‎Relation to other systems undo
curprev 01:2001:20, 8 February 2022‎ 188.187.129.78 talk‎ 20,747 bytes −17‎ →‎Relation to other systems undo

curprev 19:0519:05, 4 February 2022‎ Wint7 talk contribs‎ m 20,764 bytes +64‎ →‎Relation to other systems: replace underline tag. add links. [fmt, +-lk] undo Tag: 2017 wikitext editor

curprev 10:3310:33, 14 December 2021‎ The Anome talk contribs‎ 20,700 bytes 0‎ sp. undo Tag: 2017 wikitext editor
curprev 10:3010:30, 14 December 2021‎ The Anome talk contribs‎ 20,700 bytes +33‎ (also written '''lambda-cube''') undo Tag: 2017 wikitext editor

curprev 09:0509:05, 23 August 2021‎ Kritixilithos talk contribs‎ 20,667 bytes −5‎ →‎λ2: s/system f/λ2/ to make it consistent undo

curprev 15:4615:46, 22 July 2021‎ 62.178.6.207 talk‎ 20,672 bytes 0‎ No edit summary undo

curprev 20:5320:53, 1 July 2021‎ Jihgfee talk contribs‎ 20,672 bytes −8‎ Undid revision 1031475323 by Jihgfee (talk) undo Tag: Undo
curprev 20:4220:42, 1 July 2021‎ Jihgfee talk contribs‎ 20,680 bytes +8‎ Undid revision 1031469924 by Jihgfee (talk) undo Tags: Undo Reverted
curprev 20:0520:05, 1 July 2021‎ Jihgfee talk contribs‎ 20,672 bytes −8‎ Fixed a typo - See pg 95 of https://home.ttic.edu/~dreyer/course/papers/barendregt.pdf for reference undo Tag: Reverted

curprev 11:1211:12, 29 June 2021‎ Kritixilithos talk contribs‎ m 20,680 bytes +60‎ give ftp link to Ridoux's book, taken from https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/ undo
curprev 10:5610:56, 29 June 2021‎ Kritixilithos talk contribs‎ 20,620 bytes −122‎ remove wikiaudio citations, and replace them with berendregt's original paper undo

curprev 22:0822:08, 27 June 2021‎ SdkbBot talk contribs‎ m 20,742 bytes −78‎ General fixes, removed erroneous space undo Tag: AWB

curprev 00:0900:09, 6 May 2021‎ DerSpezialist talk contribs‎ m 20,820 bytes −50‎ →‎(\lambda \underline{\omega}) System F\underline{\omega}: Use non-math in heading undo

curprev 16:2616:26, 1 May 2021‎ Ancheta Wis talk contribs‎ 20,870 bytes +7‎ →‎(F\underline{\omega}) System F\underline{\omega}: also called <math>\lambda \underline{\omega}</math> undo

curprev 18:0418:04, 30 April 2021‎ Synechist talk contribs‎ m 20,863 bytes −1‎ →‎(λC) Calculus of constructions: correct number of cohabiting features (terms on terms, terms on types, types on types, types on terms) undo

curprev 21:1821:18, 4 April 2021‎ 2a02:1812:1536:d00:ddec:e13b:cdc2:cdbb talk‎ 20,864 bytes −18‎ No edit summary undo

curprev 07:1607:16, 8 February 2021‎ Jonhanson talk contribs‎ m 20,882 bytes +1‎ Corrected a plural typo undo

curprev 07:2407:24, 23 December 2020‎ Monkbot talk contribs‎ m 20,881 bytes −70‎ Task 18 (cosmetic): eval 9 templates: del empty params (5×); hyphenate params (1×); del |ref=harv (3×); undo Tag: AWB

curprev 11:4111:41, 1 December 2020‎ WikiCleanerBot talk contribs‎ m 20,951 bytes −18‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Link equal to linktext) undo Tag: WPCleaner

curprev 19:0019:00, 28 October 2020‎ Ancheta Wis talk contribs‎ 20,969 bytes +218‎ Youtube's Wikiaudio 2016 has a consistent audio description. We can add rp annotations to clarify the text undo

curprev 08:1908:19, 27 October 2020‎ 37.73.147.142 talk‎ 20,751 bytes −4‎ →‎(λ2) System F: Fixed the type of the polymorphic identity function. undo Tags: Mobile edit Mobile web edit

curprev 16:2116:21, 25 September 2020‎ AnomieBOT talk contribs‎ m 20,755 bytes +20‎ Dating maintenance tags: {{Cleanup rewrite}} undo
curprev 14:2114:21, 25 September 2020‎ 71.139.124.132 talk‎ 20,735 bytes +176‎ article needs a complete teardown and rewrite to address the criminally inconsistent use of names and labels for the systems of the lambda cube. Without attention to this glaring defect, the article is _worse than useless_ undo

curprev 19:5319:53, 10 April 2020‎ OAbot talk contribs‎ m 20,559 bytes +16‎ Open access bot: hdl added to citation with #oabot. undo

curprev 13:1413:14, 8 April 2020‎ RDBrown talk contribs‎ 20,543 bytes −773‎ →harvnb, tweak cites, refs after punctuation undo

curprev 02:4702:47, 2 April 2020‎ Ionchy talk contribs‎ 21,316 bytes +1‎ →‎Relation to other systems: Fixed typo undo Tags: canned edit summary Mobile edit Mobile app edit Android app edit

curprev 15:2915:29, 6 March 2020‎ 145.116.139.0 talk‎ 21,315 bytes +1‎ →‎λP: Typo undo

curprev 05:0605:06, 14 February 2020‎ 68.195.249.186 talk‎ 21,314 bytes +1‎ fix typo undo

curprev 17:1417:14, 10 February 2020‎ 141.2.134.66 talk‎ 21,313 bytes +18‎ sans serif font for tree constructor (looks prettier than default capital math TeX math mode letters) undo

curprev 13:4113:41, 4 November 2019‎ Jochen Burghardt talk contribs‎ 21,295 bytes −5‎ →‎top: fix TeX command in plain text undo

1 February 2024

5 December 2023

20 November 2023

10 November 2023

6 November 2023

18 October 2023

12 July 2023

23 May 2023

30 January 2023

8 February 2022

4 February 2022

14 December 2021

23 August 2021

22 July 2021

1 July 2021

29 June 2021

27 June 2021

6 May 2021

1 May 2021

30 April 2021

4 April 2021

8 February 2021

23 December 2020

1 December 2020

28 October 2020

27 October 2020

25 September 2020

10 April 2020

8 April 2020

2 April 2020

6 March 2020

14 February 2020

10 February 2020

4 November 2019

3 November 2019