Correspondencia de Curry-Howard

Curry–Howard correspondence - the direct relationship between computer programs and mathematical proofs. Article "Correspondencia de Curry-Howard" in Spanish Wikipedia has 7.3 points for quality (as of August 1, 2024). The article contains 1 references and 2 sections.

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

Since the creation of article "Correspondencia de Curry-Howard", its content was written by 3 registered users of Spanish Wikipedia and edited by 280 registered Wikipedia users in all languages.

The article is cited 5 times in Spanish Wikipedia and cited 494 times in all languages.

The highest Authors Interest rank from 2001:

• Local (Spanish): #48064 in July 2017
• Global: #27179 in August 2004

The highest popularity rank from 2008:

• Local (Spanish): #500884 in May 2019
• 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.

#	Language	Quality grade	Quality score
1	English (en) Curry–Howard correspondence		43.3299
2	Chinese (zh) 柯里-霍华德同构		33.7217
3	Estonian (et) Curry-Howardi vastavus		30.6509
4	Portuguese (pt) Isomorfismo de Curry-Howard		28.1756
5	Japanese (ja) カリー＝ハワード同型対応		27.8127
6	Dutch (nl) Curry–Howard-isomorfisme		25.2059
7	French (fr) Correspondance de Curry-Howard		14.1985
8	Polish (pl) Izomorfizm Curry’ego-Howarda		13.0156
9	Ukrainian (uk) Відповідність Каррі — Говарда		11.6691
10	Czech (cs) Curryho–Howardův isomorfismus		9.9144

More...

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

The most popular language versions of the article "Correspondencia de Curry-Howard" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Curry–Howard correspondence		944 972
2	French (fr) Correspondance de Curry-Howard		76 231
3	Japanese (ja) カリー＝ハワード同型対応		68 649
4	Chinese (zh) 柯里-霍华德同构		40 603
5	Russian (ru) Соответствие Карри — Ховарда		39 008
6	German (de) Curry-Howard-Isomorphismus		22 073
7	Polish (pl) Izomorfizm Curry’ego-Howarda		11 030
8	Portuguese (pt) Isomorfismo de Curry-Howard		9 258
9	Spanish (es) Correspondencia de Curry-Howard		3 579
10	Korean (ko) 커리-하워드 대응		1 866

More...

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

The most popular language versions of the article "Correspondencia de Curry-Howard" in July 2024

#	Language	Popularity award	Relative popularity
1	English (en) Curry–Howard correspondence		6 701
2	Japanese (ja) カリー＝ハワード同型対応		596
3	Chinese (zh) 柯里-霍华德同构		306
4	French (fr) Correspondance de Curry-Howard		287
5	Russian (ru) Соответствие Карри — Ховарда		194
6	German (de) Curry-Howard-Isomorphismus		103
7	Portuguese (pt) Isomorfismo de Curry-Howard		67
8	Korean (ko) 커리-하워드 대응		52
9	Spanish (es) Correspondencia de Curry-Howard		34
10	Polish (pl) Izomorfizm Curry’ego-Howarda		29

More...

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

Language versions of the article "Correspondencia de Curry-Howard" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Curry–Howard correspondence		118
2	French (fr) Correspondance de Curry-Howard		54
3	Japanese (ja) カリー＝ハワード同型対応		17
4	Chinese (zh) 柯里-霍华德同构		16
5	German (de) Curry-Howard-Isomorphismus		15
6	Portuguese (pt) Isomorfismo de Curry-Howard		12
7	Polish (pl) Izomorfizm Curry’ego-Howarda		10
8	Russian (ru) Соответствие Карри — Ховарда		9
9	Ukrainian (uk) Відповідність Каррі — Говарда		9
10	Czech (cs) Curryho–Howardův isomorfismus		6

More...

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

Language versions of the article "Correspondencia de Curry-Howard" with the highest AI in July 2024

#	Language	AI award	Relative AI
1	English (en) Curry–Howard correspondence		1
2	Catalan (ca) Correspondència Curry-Howard		0
3	Czech (cs) Curryho–Howardův isomorfismus		0
4	German (de) Curry-Howard-Isomorphismus		0
5	Spanish (es) Correspondencia de Curry-Howard		0
6	Estonian (et) Curry-Howardi vastavus		0
7	French (fr) Correspondance de Curry-Howard		0
8	Japanese (ja) カリー＝ハワード同型対応		0
9	Korean (ko) 커리-하워드 대응		0
10	Dutch (nl) Curry–Howard-isomorfisme		0

More...

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

Language versions of the article "Correspondencia de Curry-Howard" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Curry–Howard correspondence		178
2	French (fr) Correspondance de Curry-Howard		141
3	Chinese (zh) 柯里-霍华德同构		45
4	Japanese (ja) カリー＝ハワード同型対応		34
5	Russian (ru) Соответствие Карри — Ховарда		27
6	Portuguese (pt) Isomorfismo de Curry-Howard		16
7	Ukrainian (uk) Відповідність Каррі — Говарда		11
8	German (de) Curry-Howard-Isomorphismus		8
9	Estonian (et) Curry-Howardi vastavus		6
10	Czech (cs) Curryho–Howardův isomorfismus		5

More...

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

Best Rank

Spanish: #500884 05.2019

Global: #179439 08.2018

Best Rank

Spanish: #48064 07.2017

Global: #27179 08.2004

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 Spanish Wikipedia the most popular articles on that day were: Nicole Wallace, Liga de Campeones de la UEFA 2024-25, Liga de Campeones de la UEFA, Giuliano Simeone, Diego Simeone, Cleopatra I de Egipto, Tabla periódica de los elementos, Horst Paulmann, Copa Libertadores 2025, ChatGPT.

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