Jump to content

Talk:Intuitionistic 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 15:3115:31, 15 February 2024 Cewbot talk contribs m 12,173 bytes −11 Maintain {{WPBS}}: 2 WikiProject templates. Keep majority rating "Start" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computer science}}, {{WikiProject Mathematics}}. undo Tag: Talk banner shell conversion

curprev 04:0404:04, 14 January 2024 Harryboyles talk contribs m 12,184 bytes −4 →top: fixing importance parameter in {{WikiProject Computer science}} undo Tag: AWB

curprev 16:2616:26, 5 January 2022 Chalst talk contribs 12,188 bytes +652 →1986 theory?: r Mdnahas undo
curprev 01:1001:10, 5 January 2022 SineBot talk contribs m 11,536 bytes +314 Signing comment by Mdnahas - "Added question about a 1986 theory." undo
curprev 01:0901:09, 5 January 2022 Mdnahas talk contribs 11,222 bytes +1,128 Added question about a 1986 theory. undo

curprev 21:4021:40, 18 April 2021 PrimeBOT talk contribs m 10,094 bytes −79 →top: Task 24 - replacing a template following a TFD (plus genfixes/cleanup) undo Tag: AWB

curprev 17:3817:38, 1 June 2018 Ancheta Wis talk contribs 10,173 bytes +75 add link to archive. To do: Fill in archived talk content there undo
curprev 14:0814:08, 1 June 2018 Mdnahas talk contribs 10,098 bytes +365 Note on the rewrite undo

curprev 08:2708:27, 18 August 2017 Jarble talk contribs m 9,733 bytes +15 editing a link undo

curprev 02:1302:13, 25 January 2017 Jarble talk contribs 9,718 bytes −14 refactoring a search query undo

curprev 04:4104:41, 30 September 2016 Jarble talk contribs 9,732 bytes +14 editing a search query undo
curprev 04:4004:40, 30 September 2016 Jarble talk contribs 9,718 bytes +110 linking to sources for this article undo

curprev 00:4300:43, 10 August 2015 Ancheta Wis talk contribs 9,608 bytes +49 →What is this trying to say?: p.31 undo
curprev 00:3100:31, 10 August 2015 Ancheta Wis talk contribs 9,559 bytes +676 →What is this trying to say?: add a schema undo

curprev 23:3923:39, 9 August 2015 Ancheta Wis talk contribs 8,883 bytes +77 →What is this trying to say?: cite p. number undo
curprev 22:3622:36, 9 August 2015 Ancheta Wis talk contribs 8,806 bytes +555 →What is this trying to say?: re undo
curprev 16:0616:06, 9 August 2015 SineBot talk contribs m 8,251 bytes +279 Signing comment by 81.156.190.19 - "→.pdf of Martin-Loef's Intuitionistic Type Theory: " undo
curprev 16:0516:05, 9 August 2015 81.156.190.19 talk 7,972 bytes +295 →.pdf of Martin-Loef's Intuitionistic Type Theory undo

curprev 07:0307:03, 1 March 2012 ArXivFever talk contribs m 7,677 bytes −2 →.pdf of Martin-Loef's Intuitionistic Type Theory undo
curprev 07:0307:03, 1 March 2012 ArXivFever talk contribs 7,679 bytes +764 →.pdf of Martin-Loef's Intuitionistic Type Theory: new section undo

curprev 03:1903:19, 9 January 2012 Ruud Koot talk contribs 6,915 bytes +59 {{WikiProject Computer science|class=start|importanc=mid}} undo

curprev 10:5010:50, 30 December 2011 David spector talk contribs 6,856 bytes +964 →Decidable extensional type checking?: new section undo

curprev 07:4907:49, 10 September 2010 SmackBot talk contribs m 5,582 bytes +32 Date maintenance tags and general fixes: build 514: undo

curprev 12:0412:04, 9 June 2010 CBM talk contribs 5,550 bytes +744 →Use of term "Type Theory" throughout article: r undo
curprev 01:4201:42, 9 June 2010 Dougher talk contribs 4,806 bytes +450 →Use of term "Type Theory" throughout article: new section undo

curprev 13:0913:09, 25 February 2010 CBM talk contribs 4,356 bytes +60 Rating article for WikiProject Mathematics. Quality: Start / Priority: Mid / Field: foundations (script assisted) undo

curprev 15:5215:52, 9 November 2008 Diego Moya talk contribs 4,296 bytes +14 No edit summary undo

curprev 13:3013:30, 7 June 2008 Sam Staton talk contribs 4,282 bytes +165 →Explanation of term "dependent product/sum" undo

curprev 20:0320:03, 6 June 2008 Hairy Dude talk contribs 4,117 bytes +333 →Explanation of term "dependent product/sum": new section undo

curprev 20:5820:58, 7 June 2006 Txa talk contribs m 3,784 bytes +217 →Article name undo
curprev 20:5520:55, 7 June 2006 Txa talk contribs m 3,567 bytes +271 No edit summary undo

curprev 15:0815:08, 1 May 2006 Jon Awbrey talk contribs m 3,296 bytes 0 moved Talk:Intuitionistic Type Theory to Talk:Intuitionistic type theory: non-proprietary usage undo
curprev 14:5814:58, 1 May 2006 Jon Awbrey talk contribs m 3,296 bytes +1 →Article name: typo undo
curprev 14:5314:53, 1 May 2006 Jon Awbrey talk contribs 3,295 bytes +633 →Article name: on the excesses of capitalism undo

curprev 20:3920:39, 23 May 2005 Chalst talk contribs 1,674 bytes +150 No edit summary undo
curprev 19:0319:03, 23 May 2005 Chalst talk contribs 1,524 bytes +455 No edit summary undo

curprev 18:3918:39, 22 May 2005 Txa talk contribs m 1,069 bytes +453 No edit summary undo

curprev 21:5721:57, 21 May 2005 Txa talk contribs m 616 bytes +260 No edit summary undo

curprev 21:3321:33, 16 May 2005 Txa talk contribs m 356 bytes +356 recursive terms?

Retrieved from "https://en.wikipedia.org/wiki/Talk:Intuitionistic_type_theory"