Teoria de tipus (Catalan Wikipedia)

Analysis of information sources in references of the Wikipedia article "Teoria de tipus" in Catalan language version.

Last modified: 15:25:13, 15 February 2026 (UTC)

Ref.Un. Ref.Website

Global rank Catalan rank

2^nd place

4^th place

22web.archive.org

1^st place

1^st place

22hott.github.io

low place

low place

21homotopytypetheory.org

low place

low place

651^st place

610^th place

23^rd place

44^th place

4^th place

6^th place

11ghostarchive.org

64^th place

383^rd place

11logicmatters.net

low place

low place

doi.org (Global: 2^nd place; Catalan: 4^th place)

dx.doi.org

Church, Alonzo The Journal of Symbolic Logic, 5, 2, 1940, p. 56–68. DOI: 10.2307/2266170. JSTOR: 2266170.
Martin-Löf, Per (en anglès) Synthese, 73, 3, 01-12-1987, p. 407–420. DOI: 10.1007/BF00484985. ISSN: 1573-0964.

ghostarchive.org (Global: 64^th place; Catalan: 383^rd place)

Smith, Peter. «Types of proof system» (en anglès). logicmatters.net. Arxivat de l'original el 2022-10-09. [Consulta: 29 desembre 2021].

homotopytypetheory.org (Global: low place; Catalan: low place)

The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics (en anglès). Homotopy Type Theory, 2013.

hott.github.io (Global: low place; Catalan: low place)

«Rules to Martin-Löf's Intuitionistic Type Theory» (en anglès). Arxivat de l'original el 2021-10-21. [Consulta: 22 gener 2022].
«Rules to Martin-Löf's Intuitionistic Type Theory» (en anglès). Arxivat de l'original el 2021-10-21. [Consulta: 22 gener 2022].

jstor.org (Global: 23^rd place; Catalan: 44^th place)

Church, Alonzo The Journal of Symbolic Logic, 5, 2, 1940, p. 56–68. DOI: 10.2307/2266170. JSTOR: 2266170.

logicmatters.net (Global: low place; Catalan: low place)

Smith, Peter. «Types of proof system» (en anglès). logicmatters.net. Arxivat de l'original el 2022-10-09. [Consulta: 29 desembre 2021].

medium.com (Global: 651^st place; Catalan: 610^th place)

Lorenzobattistela. «Type Theory 101» (en anglès), 03-02-2024. [Consulta: 1r setembre 2025].

web.archive.org (Global: 1^st place; Catalan: 1^st place)

«Rules to Martin-Löf's Intuitionistic Type Theory» (en anglès). Arxivat de l'original el 2021-10-21. [Consulta: 22 gener 2022].
«Rules to Martin-Löf's Intuitionistic Type Theory» (en anglès). Arxivat de l'original el 2021-10-21. [Consulta: 22 gener 2022].

worldcat.org (Global: 4^th place; Catalan: 6^th place)

Martin-Löf, Per (en anglès) Synthese, 73, 3, 01-12-1987, p. 407–420. DOI: 10.1007/BF00484985. ISSN: 1573-0964.