Curry–Howard correspondence

en

WikiRank.net
ver. 1.6

Curry–Howard correspondence

Quality:
10

Curry–Howard correspondence - the direct relationship between computer programs and mathematical proofs. Article "Curry–Howard correspondence" in English Wikipedia has 43.3 points for quality (as of August 1, 2024). The article contains 18 references and 26 sections. The article also contains quality flaw template, which reduce quality score.

In this language version of Wikipedia the article has the best quality. Also, this article is the most popular in that language version.

In July 2024 the article "Curry–Howard correspondence" was edited by 1 authors in English Wikipedia and written by 1 authors in all languages.

Since the creation of article "Curry–Howard correspondence", its content was written by 118 registered users of English Wikipedia and edited by 280 registered Wikipedia users in all languages.

The article is cited 178 times in English Wikipedia and cited 494 times in all languages.

The highest Authors Interest rank from 2001:

  • Local (English): #5345 in August 2004
  • Global: #27179 in August 2004

The highest popularity rank from 2008:

  • Local (English): #113163 in August 2018
  • Global: #179439 in August 2018

There are 15 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from August 1, 2024 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

Languages with the highest quality

#LanguageQuality gradeQuality score
1English (en)
Curry–Howard correspondence
43.3299
2Chinese (zh)
柯里-霍华德同构
33.7217
3Estonian (et)
Curry-Howardi vastavus
30.6509
4Portuguese (pt)
Isomorfismo de Curry-Howard
28.1756
5Japanese (ja)
カリー＝ハワード同型対応
27.8127
More...

The following table shows the most popular language versions of the article.

Most popular in all the time

The most popular language versions of the article "Curry–Howard correspondence" in all the time
#LanguagePopularity awardRelative popularity
1English (en)
Curry–Howard correspondence
944 972
2French (fr)
Correspondance de Curry-Howard
76 231
3Japanese (ja)
カリー＝ハワード同型対応
68 649
4Chinese (zh)
柯里-霍华德同构
40 603
5Russian (ru)
Соответствие Карри — Ховарда
39 008
More...

The following table shows the language versions of the article with the highest popularity in the last month.

Most popular in July 2024

The most popular language versions of the article "Curry–Howard correspondence" in July 2024
#LanguagePopularity awardRelative popularity
1English (en)
Curry–Howard correspondence
6 701
2Japanese (ja)
カリー＝ハワード同型対応
596
3Chinese (zh)
柯里-霍华德同构
306
4French (fr)
Correspondance de Curry-Howard
287
5Russian (ru)
Соответствие Карри — Ховарда
194
More...

The following table shows the language versions of the article with the highest Authors’ Interest.

The highest AI

Language versions of the article "Curry–Howard correspondence" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.
#LanguageAI awardRelative AI
1English (en)
Curry–Howard correspondence
118
2French (fr)
Correspondance de Curry-Howard
54
3Japanese (ja)
カリー＝ハワード同型対応
17
4Chinese (zh)
柯里-霍华德同构
16
5German (de)
Curry-Howard-Isomorphismus
15
More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

The highest AI in July 2024

Language versions of the article "Curry–Howard correspondence" with the highest AI in July 2024
#LanguageAI awardRelative AI
1English (en)
Curry–Howard correspondence
1
2Catalan (ca)
Correspondència Curry-Howard
0
3Czech (cs)
Curryho–Howardův isomorfismus
0
4German (de)
Curry-Howard-Isomorphismus
0
5Spanish (es)
Correspondencia de Curry-Howard
0
More...

The following table shows the language versions of the article with the highest number of citations.

The highest CI

Language versions of the article "Curry–Howard correspondence" with the highest Citation Index (CI)
#LanguageCI awardRelative CI
1English (en)
Curry–Howard correspondence
178
2French (fr)
Correspondance de Curry-Howard
141
3Chinese (zh)
柯里-霍华德同构
45
4Japanese (ja)
カリー＝ハワード同型対応
34
5Russian (ru)
Соответствие Карри — Ховарда
27
More...

Scores

Estimated value for Wikipedia:
English:
Global:
Popularity in July 2024:
English:
Global:
Popularity in all years:
English:
Global:
Authors in July 2024:
English:
Global:
Registered authors in all years:
English:
Global:
Citations:
English:
Global:

Quality measures

Interwikis

#LanguageValue
caCatalan
Correspondència Curry-Howard
csCzech
Curryho–Howardův isomorfismus
deGerman
Curry-Howard-Isomorphismus
enEnglish
Curry–Howard correspondence
esSpanish
Correspondencia de Curry-Howard
etEstonian
Curry-Howardi vastavus
frFrench
Correspondance de Curry-Howard
jaJapanese
カリー＝ハワード同型対応
koKorean
커리-하워드 대응
nlDutch
Curry–Howard-isomorfisme
plPolish
Izomorfizm Curry’ego-Howarda
ptPortuguese
Isomorfismo de Curry-Howard
ruRussian
Соответствие Карри — Ховарда
ukUkrainian
Відповідність Каррі — Говарда
zhChinese
柯里-霍华德同构

Popularity rank trends

Best Rank English:
#113163
08.2018 		Global:
#179439
08.2018

AI rank trends

Best Rank English:
#5345
08.2004 		Global:
#27179
08.2004

Local AI rank history

Languages comparison

Important global interconnections

Wikipedia readers most often find their way to information on Curry–Howard correspondence from Wikipedia articles about Intuitionistic logic, Haskell Curry, Type theory, Lambda calculus and Homotopy type theory. Whereas reading the article about Curry–Howard correspondence people most often go to Wikipedia articles on Haskell Curry, Dependent type, Combinatory logic, William Alvin Howard and Brouwer–Heyting–Kolmogorov interpretation.

Cumulative results of quality and popularity of the Wikipedia article

List of Wikipedia articles in different languages (starting with the most popular):

en: Curry–Howard correspondence
fr: Correspondance de Curry-Howard
ja: カリー＝ハワード同型対応
zh: 柯里-霍华德同构
ru: Соответствие Карри — Ховарда
de: Curry-Howard-Isomorphismus
pl: Izomorfizm Curry’ego-Howarda
pt: Isomorfismo de Curry-Howard
es: Correspondencia de Curry-Howard
ko: 커리-하워드 대응
ca: Correspondència Curry-Howard
uk: Відповідність Каррі — Говарда
cs: Curryho–Howardův isomorfismus
et: Curry-Howardi vastavus
nl: Curry–Howard-isomorfisme

News from 12 March 2025

On 12 March 2025 in multilingual Wikipedia, Internet users most often read articles on the following topics: Elon Musk, 2024–25 UEFA Champions League, UEFA Champions League, Diego Simeone, Kim Sae-ron, Kim Soo-hyun, Greenland, Giuliano Simeone, Donald Trump, ChatGPT.

In English Wikipedia the most popular articles on that day were: Kim Sae-ron, Alabama, Deaths in 2025, Sarah McBride, Kim Soo-hyun, Elon Musk, 2024–25 UEFA Champions League, Mark Carney, Rosie O'Donnell, Mickey 17.

About WikiRank

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from August, 2024. When calculating current popularity and AI of articles data from July 2024 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2023... More information