Curry–Howard correspondence: 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 20:2320:23, 23 October 2024 The Hurdy Gurdy Man talk contribs m 58,951 bytes +139 →Synthetic papers: Added archived URL for "Gallier, Jean H. (1995)" undo

curprev 14:5414:54, 20 October 2024 Eutrou talk contribs 58,812 bytes +1,026 →Curry–Howard–Lambek correspondence: Replace sequent notation with typing context notation to fit the page better, add citation. undo

curprev 20:4720:47, 8 September 2024 ADifferentMan talk contribs 57,786 bytes +3,426 Reverting edit(s) by LAX PILOT (talk) to rev. 1241419714 by Mikeblas: Unexplained content removal (RW 16.1) undo Tags: RW Undo
curprev 20:4620:46, 8 September 2024 LAX PILOT talk contribs 54,360 bytes −3,426 LAX PILOT undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 01:5601:56, 21 August 2024 Mikeblas talk contribs m 57,786 bytes +5 copyedit undo

curprev 12:0012:00, 13 July 2024 AndrejBauer talk contribs 57,781 bytes +116 →General formulation: Fix confusion bewtween the logical constants ⊥/⊤ and truth/falsehood of a formula undo

curprev 07:2907:29, 17 May 2024 David Eppstein talk contribs 57,665 bytes −113 →Philosophical interpretations: fix badly linked ref undo
curprev 07:2607:26, 17 May 2024 David Eppstein talk contribs 57,778 bytes −399 →Generalizations: rm dated and badly sourced stmt undo

curprev 22:4422:44, 18 March 2024 Jerryobject talk contribs 58,177 bytes +20 →External links: WP:NAVBOX add. undo

curprev 21:4021:40, 31 December 2023 InternetArchiveBot talk contribs 58,157 bytes +77 Rescuing 0 sources and tagging 1 as dead.) #IABot (v2.0.9.5 undo

curprev 08:1508:15, 16 November 2023 Charles Matthews talk contribs 58,080 bytes −1,237 rm unsourced speculative editorial undo

curprev 19:5219:52, 12 November 2023 ElliAWB talk contribs m 59,317 bytes +30 Disambiguating links to Coq (link changed to Coq (software); link changed to Coq (software)) using DisamAssist. undo

curprev 00:5200:52, 30 October 2023 Citation bot talk contribs 59,287 bytes +49 Alter: url. URLs might have been anonymized. Add: publisher, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 15:0315:03, 29 October 2023 Ploni talk contribs 59,238 bytes +717 No edit summary undo

curprev 15:4415:44, 18 October 2023 128.91.127.8 talk 58,521 bytes +284 Added material to clarify relationship between Lambek's work and Curry-Howard. undo Tag: Visual edit

curprev 05:4505:45, 13 October 2023 AnomieBOT talk contribs m 58,237 bytes +36 Dating maintenance tags: {{Cn}} {{By whom}} undo
curprev 05:2505:25, 13 October 2023 Jochen Burghardt talk contribs 58,201 bytes +426 Partly undid revision 1179888206 by 100.11.110.225 (talk): Curry–Howard–Lambek correspondence redirects here and hence should be mentioned; moreover, deletion should be the ultima ratio undo
curprev 02:3502:35, 13 October 2023 100.11.110.225 talk 57,775 bytes −409 Removed the un-cited term "Curry-Howard-Lambek" from multiple places as well as weasel words stating that "Some people say Curry-Howard-Lambek". undo

curprev 14:2114:21, 22 September 2023 Oatco talk contribs 58,184 bytes +2 →Origin, scope, and consequences: grammar undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 02:5402:54, 26 August 2023 Citation bot talk contribs 58,182 bytes −40 Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 05:0205:02, 27 April 2023 David Eppstein talk contribs 58,222 bytes −212 rm amazon sales link, not used as reference undo

curprev 02:1102:11, 18 April 2023 Mechachleopteryx talk contribs 58,434 bytes −1 →Curry–Howard–Lambek correspondence undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 08:4708:47, 10 April 2023 Jochen Burghardt talk contribs 58,435 bytes −319 Undid revision 1148964484 by 87.95.51.55 (talk): unsourced at best undo Tag: Undo

curprev 09:2709:27, 9 April 2023 87.95.51.55 talk 58,754 bytes +319 No edit summary undo Tag: Reverted

curprev 17:2517:25, 27 March 2023 2a00:23c6:2b87:3901:84e0:91c7:35c5:7201 talk 58,435 bytes +1 →Origin, scope, and consequences: Added missing period undo Tags: Mobile edit Mobile app edit Android app edit

curprev 23:2223:22, 16 March 2023 Citation bot talk contribs 58,434 bytes −133 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 14:3814:38, 17 February 2023 Jochen Burghardt talk contribs m 58,567 bytes +1 →Intuitionistic Natural deduction and typed lambda calculus: missing space inserted undo
curprev 09:2609:26, 17 February 2023 Lambda Behavior talk contribs m 58,566 bytes −7 Noticed I accidentally wrote simply typed combinator instead of just typed undo Tags: Visual edit Mobile edit Mobile web edit
curprev 09:2209:22, 17 February 2023 Lambda Behavior talk contribs 58,573 bytes +241 Clarified that it’s axiom schemes that correspond to combinators whereas assumptions/hypotheses (sometimes called axioms) correspond to free variables. Clarified sections were only talking about Intuitionistic logic and typed versions of the concepts (vs the last section where the correspondence is extended). Also added detail of what lambda I is as googling won’t help undo Tags: Visual edit Mobile edit Mobile web edit

curprev 12:0512:05, 12 February 2023 157.131.200.189 talk 58,332 bytes −29 No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 02:0202:02, 8 February 2023 2601:547:501:8f90:41b2:84a2:ee0c:3e5e talk 58,361 bytes −5 →General formulation undo
curprev 01:5901:59, 8 February 2023 2601:547:501:8f90:41b2:84a2:ee0c:3e5e talk 58,366 bytes +35 →General formulation: See https://ncatlab.org/nlab/show/top#related_concepts. The counterpart of the unit type is the empty type, and the counterpart of the top type is the bottom type (which need not be empty in general). undo

curprev 17:3717:37, 30 January 2023 Citation bot talk contribs 58,331 bytes +31 Add: s2cid. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 40/111 undo

curprev 11:5411:54, 20 January 2023 208.127.62.148 talk 58,300 bytes +3 Symbol fix, → was written as -> undo

curprev 03:4903:49, 3 October 2022 InternetArchiveBot talk contribs 58,297 bytes +230 Rescuing 1 sources and tagging 1 as dead.) #IABot (v2.0.9.2 undo

curprev 21:4921:49, 30 September 2022 Lexi.lambda talk contribs m 58,067 bytes −10 No edit summary undo

curprev 10:0610:06, 3 June 2022 80.5.216.57 talk 58,077 bytes +8 Correction: that is a chapter URL undo
curprev 10:0210:02, 3 June 2022 80.5.216.57 talk 58,069 bytes +58 add URL for paper undo

curprev 16:3016:30, 15 February 2022 Jpgross3 talk contribs m 58,011 bytes +4 added a "the" to preserve parallelism in the 2nd sentence. undo Tag: Visual edit

curprev 19:3119:31, 16 January 2022 Jochen Burghardt talk contribs 58,007 bytes −286 Undid revision 1066052511 by Mdaviscs (talk): unsourced, original research (see WP:OR) undo Tag: Undo
curprev 16:0316:03, 16 January 2022 Mdaviscs talk contribs 58,293 bytes +286 No edit summary undo Tag: Reverted

curprev 13:5713:57, 3 December 2021 Jochen Burghardt talk contribs 58,007 bytes +4 →Natural deduction and lambda calculus: suggest to indicate syntactical grouping by reducing spaces undo
curprev 13:2613:26, 3 December 2021 Sarming talk contribs m 58,003 bytes +10 →Natural deduction and lambda calculus: add type to argument in abstraction for clarity - and arguably correctness. undo

curprev 08:1108:11, 26 August 2021 Citation bot talk contribs 57,993 bytes +35 Add: s2cid, doi-access. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 838/1015 undo

curprev 17:2117:21, 11 July 2021 GreenWeasel11 talk contribs m 57,958 bytes +3 →Generalizations: Add missing preposition undo

curprev 01:4601:46, 6 July 2021 OAbot talk contribs m 57,955 bytes +16 Open access bot: doi added to citation with #oabot. undo

curprev 05:5505:55, 23 June 2021 WikiCleanerBot talk contribs m 57,939 bytes −3 v2.04b - Bot T5 CW#16 - Fix errors for CW project (Unicode control characters) undo Tag: WPCleaner

curprev 19:2619:26, 21 June 2021 2a01:e0a:8bc:3a90:86e8:b5e6:da12:7c99 talk 57,942 bytes +215 →Books: program = proof undo

curprev 06:4406:44, 12 May 2021 Wasell talk contribs m 57,727 bytes −2 ws undo
curprev 06:4206:42, 12 May 2021 Wasell talk contribs 57,729 bytes −28 upright lambda -- it's not a variable undo

23 October 2024

20 October 2024

8 September 2024

21 August 2024

13 July 2024

17 May 2024

18 March 2024

31 December 2023

16 November 2023

12 November 2023

30 October 2023

29 October 2023

18 October 2023

13 October 2023

22 September 2023

26 August 2023

27 April 2023

18 April 2023

10 April 2023

9 April 2023

27 March 2023

16 March 2023

17 February 2023

12 February 2023

8 February 2023

30 January 2023

20 January 2023

3 October 2022

30 September 2022

3 June 2022

15 February 2022

16 January 2022

3 December 2021

26 August 2021

11 July 2021

6 July 2021

23 June 2021

21 June 2021

12 May 2021