Jump to content

Container (type theory): 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 14:1614:16, 24 June 2024 2601:447:cd80:e200:39e5:bbe7:6065:9b33 talk 3,174 bytes +40 The phrase "type theory" obviously does not tell the lay reader that this has something to do with mathematical logic. undo
curprev 14:1514:15, 24 June 2024 2601:447:cd80:e200:39e5:bbe7:6065:9b33 talk 3,134 bytes −20 →Categorical aspects undo

curprev 15:2915:29, 8 May 2024 Starlighsky talk contribs m 3,154 bytes +16 Added link undo Tags: Visual edit Newcomer task Newcomer task: expand

curprev 06:4306:43, 11 January 2024 Anoopspeaks talk contribs 3,138 bytes +25 Open access status updates in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 00:5400:54, 30 January 2023 OAbot talk contribs m 3,113 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 01:0001:00, 28 July 2020 InternetArchiveBot talk contribs 3,096 bytes −3 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.1 undo

curprev 15:3515:35, 11 February 2020 129.16.25.43 talk 3,099 bytes +135 No edit summary undo

curprev 03:0803:08, 14 December 2019 Citation bot talk contribs m 2,964 bytes −23 Removed parameters. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 10:5610:56, 20 November 2019 178.121.6.225 talk 2,987 bytes +11 →See also undo

curprev 03:0403:04, 29 May 2016 Dcirovic talk contribs m 2,976 bytes +15 →top: clean up using AWB undo

curprev 14:3114:31, 30 October 2014 Chris the speller talk contribs m 2,961 bytes 0 per WP:HYPHEN, sub-subsection 3, points 3,4,5, replaced: dependently- → dependently using AWB undo

curprev 19:2719:27, 28 July 2013 Foobarnix talk contribs 2,961 bytes +4 →Indexed containers: add link undo

curprev 13:1013:10, 6 December 2012 Nbarth talk contribs m 2,957 bytes −1 direct link undo

curprev 20:0420:04, 2 December 2011 Ruud Koot talk contribs 2,958 bytes +81 == See also == * Container (abstract data type) * Functor (type theory) undo

curprev 13:2913:29, 21 November 2011 PhnomPencil talk contribs m 2,877 bytes −10 Fixing redundancy, replaced: various different → various using AWB undo

curprev 20:0320:03, 27 December 2010 Yobot talk contribs 2,887 bytes +3 Conversions using AWB (7513) undo

curprev 01:3301:33, 18 July 2010 Cybercobra talk contribs m 2,884 bytes 0 moved Container (Type theory) to Container (type theory): improper caps undo

curprev 01:2901:29, 18 December 2009 RjwilmsiBot talk contribs m 2,884 bytes +2 fixing page range dashes using Project:AWB undo

curprev 18:4218:42, 19 August 2009 Pcap talk contribs 2,882 bytes +4 {{type-theory-stub}} undo

Retrieved from "https://en.wikipedia.org/wiki/Container_(type_theory)"