Type theory (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Type theory" in English language version.

refsWebsite

Global rank English rank

11web.archive.org

1^st place

10doi.org

2^nd place

3semanticscholar.org

11^th place

8^th place

3books.google.com

3^rd place

2jstor.org

26^th place

20^th place

2ncatlab.org

low place

8,775^th place

2worldcat.org

5^th place

2ghostarchive.org

32^nd place

21^st place

2handle.net

102^nd place

76^th place

2arxiv.org

69^th place

59^th place

1julialang.org

low place

1stanford.edu

179^th place

183^rd place

1archive.org

6^th place

1free.fr

321^st place

724^th place

1philpapers.org

1,865^th place

1,260^th place

1homotopytypetheory.org

low place

1logicmatters.net

low place

1hott.github.io

low place

1uwo.ca

5,491^st place

3,397^th place

1chalmers.se

low place

7,981^st place

1oreilly.com

4,347^th place

3,017^th place

1youtube.com

9^th place

13^th place

1leanprover.github.io

low place

1amazonaws.com

5,409^th place

3,407^th place

amazonaws.com (Global: 5,409^th place; English: 3,407^th place)

nlab-pages.s3.us-east-2.amazonaws.com

"Axiom K". nLab. Archived from the original on 2022-01-19. Retrieved 2022-01-21.

archive.org (Global: 6^th place; English: 6^th place)

Alonzo Church (1956) Introduction To Mathematical Logic Vol 1

arxiv.org (Global: 69^th place; English: 59^th place)

Sterling, Jonathan; Angiuli, Carlo (2021-06-29). "Normalization for Cubical Type Theory". 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome, Italy: IEEE. pp. 1–15. arXiv:2101.11479. doi:10.1109/LICS52264.2021.9470719. ISBN 978-1-6654-4895-6. S2CID 231719089.
Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders (2016). "Cubical Type Theory: A constructive interpretation of the univalence axiom" (PDF). 21st International Conference on Types for Proofs and Programs (TYPES 2015). arXiv:1611.02108. doi:10.4230/LIPIcs.CVIT.2016.23 (inactive 2 July 2025). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)

books.google.com (Global: 3^rd place; English: 3^rd place)

Chatzikyriakidis, Stergios; Luo, Zhaohui (2017-02-07). Modern Perspectives in Type-Theoretical Semantics. Springer. ISBN 978-3-319-50422-3. Archived from the original on 2023-08-10. Retrieved 2022-07-29.
Winter, Yoad (2016-04-08). Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language. Edinburgh University Press. ISBN 978-0-7486-7777-1. Archived from the original on 2023-08-10. Retrieved 2022-07-29.
Henk Barendregt; Wil Dekkers; Richard Statman (20 June 2013). Lambda Calculus with Types. Cambridge University Press. pp. 1–66. ISBN 978-0-521-76614-2.

chalmers.se (Global: low place; English: 7,981^st place)

cse.chalmers.se

Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders (2016). "Cubical Type Theory: A constructive interpretation of the univalence axiom" (PDF). 21st International Conference on Types for Proofs and Programs (TYPES 2015). arXiv:1611.02108. doi:10.4230/LIPIcs.CVIT.2016.23 (inactive 2 July 2025). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)

doi.org (Global: 2^nd place; English: 2^nd place)

Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646. JSTOR 1968646.
Church, Alonzo (1940). "A formulation of the simple theory of types". The Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
Cooper, Robin (2005). "Records and Record Types in Semantic Theory". Journal of Logic and Computation. 15 (2): 99–112. doi:10.1093/logcom/exi004.
Martin-Löf, Per (1987-12-01). "Truth of a proposition, evidence of a judgement, validity of a proof". Synthese. 73 (3): 407–420. doi:10.1007/BF00484985. ISSN 1573-0964.
Heineman, George T.; Bessai, Jan; Düdder, Boris; Rehof, Jakob (2016). "A long and winding road towards modular synthesis". Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science. Vol. 9952. Springer. pp. 303–317. doi:10.1007/978-3-319-47166-2_21. ISBN 978-3-319-47165-5.
Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. ISSN 0956-7968. S2CID 44757552.
Sterling, Jonathan; Angiuli, Carlo (2021-06-29). "Normalization for Cubical Type Theory". 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome, Italy: IEEE. pp. 1–15. arXiv:2101.11479. doi:10.1109/LICS52264.2021.9470719. ISBN 978-1-6654-4895-6. S2CID 231719089.
Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders (2016). "Cubical Type Theory: A constructive interpretation of the univalence axiom" (PDF). 21st International Conference on Types for Proofs and Programs (TYPES 2015). arXiv:1611.02108. doi:10.4230/LIPIcs.CVIT.2016.23 (inactive 2 July 2025). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)
Bove, Ana; Dybjer, Peter (2009), Bove, Ana; Barbosa, Luís Soares; Pardo, Alberto; Pinto, Jorge Sousa (eds.), "Dependent Types at Work", Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures, Lecture Notes in Computer Science, Berlin, Heidelberg: Springer, pp. 57–99, doi:10.1007/978-3-642-03153-3_2, ISBN 978-3-642-03153-3, retrieved 2024-01-18
Barendegt, Henk (April 1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240 – via Cambridge Core.

free.fr (Global: 321^st place; English: 724^th place)

lecomte.al.free.fr

Cooper, Robin. "Type theory and semantics in flux Archived 2022-05-10 at the Wayback Machine." Handbook of the Philosophy of Science 14 (2012): 271-323.

ghostarchive.org (Global: 32^nd place; English: 21^st place)

Smith, Peter. "Types of proof system" (PDF). logicmatters.net. Archived (PDF) from the original on 2022-10-09. Retrieved 29 December 2021.
Cohen, Cyril; Coquand, Thierry; Huber, Simon; Mörtberg, Anders (2016). "Cubical Type Theory: A constructive interpretation of the univalence axiom" (PDF). 21st International Conference on Types for Proofs and Programs (TYPES 2015). arXiv:1611.02108. doi:10.4230/LIPIcs.CVIT.2016.23 (inactive 2 July 2025). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of July 2025 (link)

handle.net (Global: 102^nd place; English: 76^th place)

hdl.handle.net

Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. ISSN 0956-7968. S2CID 44757552.
Barendegt, Henk (April 1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/S0956796800020025. hdl:2066/17240 – via Cambridge Core.

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

The Univalent Foundations Program (2013). Homotopy Type Theory: Univalent Foundations of Mathematics. Homotopy Type Theory.

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

"Rules to Martin-Löf's Intuitionistic Type Theory" (PDF). Archived (PDF) from the original on 2021-10-21. Retrieved 2022-01-22.

jstor.org (Global: 26^th place; English: 20^th place)

Kleene, S. C. & Rosser, J. B. (1935). "The inconsistency of certain formal logics". Annals of Mathematics. 36 (3): 630–636. doi:10.2307/1968646. JSTOR 1968646.
Church, Alonzo (1940). "A formulation of the simple theory of types". The Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.

julialang.org (Global: low place; English: low place)

docs.julialang.org

docs.julialang.org v.1 Types Archived 2022-03-24 at the Wayback Machine

leanprover.github.io (Global: low place; English: low place)

"Axioms and Computation". Theorem Proving in Lean. Archived from the original on 22 December 2021. Retrieved 21 January 2022.

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

Smith, Peter. "Types of proof system" (PDF). logicmatters.net. Archived (PDF) from the original on 2022-10-09. Retrieved 29 December 2021.

ncatlab.org (Global: low place; English: 8,775^th place)

ETCS at the nLab
"proof by contradiction". nlab. Archived from the original on 13 August 2023. Retrieved 29 December 2021.

oreilly.com (Global: 4,347^th place; English: 3,017^th place)

Balbaert,Ivo (2015) Getting Started with Julia

philpapers.org (Global: 1,865^th place; English: 1,260^th place)

Barwise, Jon; Cooper, Robin (1981) Generalized quantifiers and natural language Linguistics and Philosophy 4 (2):159--219 (1981)

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Church, Alonzo (1940). "A formulation of the simple theory of types". The Journal of Symbolic Logic. 5 (2): 56–68. doi:10.2307/2266170. JSTOR 2266170. S2CID 15889861.
Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. ISSN 0956-7968. S2CID 44757552.
Sterling, Jonathan; Angiuli, Carlo (2021-06-29). "Normalization for Cubical Type Theory". 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Rome, Italy: IEEE. pp. 1–15. arXiv:2101.11479. doi:10.1109/LICS52264.2021.9470719. ISBN 978-1-6654-4895-6. S2CID 231719089.

stanford.edu (Global: 179^th place; English: 183^rd place)

plato.stanford.edu

Stanford Encyclopedia of Philosophy (rev. Mon Oct 12, 2020) Russell’s Paradox Archived December 18, 2021, at the Wayback Machine 3. Early Responses to the Paradox

uwo.ca (Global: 5,491^st place; English: 3,397^th place)

publish.uwo.ca

Bell, John L. (2012). "Types, Sets and Categories" (PDF). In Kanamory, Akihiro (ed.). Sets and Extensions in the Twentieth Century. Handbook of the History of Logic. Vol. 6. Elsevier. ISBN 978-0-08-093066-4. Archived (PDF) from the original on 2018-04-17. Retrieved 2012-11-03.

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

docs.julialang.org v.1 Types Archived 2022-03-24 at the Wayback Machine
Stanford Encyclopedia of Philosophy (rev. Mon Oct 12, 2020) Russell’s Paradox Archived December 18, 2021, at the Wayback Machine 3. Early Responses to the Paradox
Chatzikyriakidis, Stergios; Luo, Zhaohui (2017-02-07). Modern Perspectives in Type-Theoretical Semantics. Springer. ISBN 978-3-319-50422-3. Archived from the original on 2023-08-10. Retrieved 2022-07-29.
Winter, Yoad (2016-04-08). Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language. Edinburgh University Press. ISBN 978-0-7486-7777-1. Archived from the original on 2023-08-10. Retrieved 2022-07-29.
Cooper, Robin. "Type theory and semantics in flux Archived 2022-05-10 at the Wayback Machine." Handbook of the Philosophy of Science 14 (2012): 271-323.
"Rules to Martin-Löf's Intuitionistic Type Theory" (PDF). Archived (PDF) from the original on 2021-10-21. Retrieved 2022-01-22.
"proof by contradiction". nlab. Archived from the original on 13 August 2023. Retrieved 29 December 2021.
Bell, John L. (2012). "Types, Sets and Categories" (PDF). In Kanamory, Akihiro (ed.). Sets and Extensions in the Twentieth Century. Handbook of the History of Logic. Vol. 6. Elsevier. ISBN 978-0-08-093066-4. Archived (PDF) from the original on 2018-04-17. Retrieved 2012-11-03.
Milewski, Bartosz. "Programming with Math (Exploring Type Theory)". YouTube. Archived from the original on 2022-01-22. Retrieved 2022-01-22.
"Axioms and Computation". Theorem Proving in Lean. Archived from the original on 22 December 2021. Retrieved 21 January 2022.
"Axiom K". nLab. Archived from the original on 2022-01-19. Retrieved 2022-01-21.

worldcat.org (Global: 5^th place; English: 5^th place)

search.worldcat.org

Martin-Löf, Per (1987-12-01). "Truth of a proposition, evidence of a judgement, validity of a proof". Synthese. 73 (3): 407–420. doi:10.1007/BF00484985. ISSN 1573-0964.
Barendregt, Henk (1991). "Introduction to generalized type systems". Journal of Functional Programming. 1 (2): 125–154. doi:10.1017/s0956796800020025. hdl:2066/17240. ISSN 0956-7968. S2CID 44757552.

youtube.com (Global: 9^th place; English: 13^th place)

Milewski, Bartosz. "Programming with Math (Exploring Type Theory)". YouTube. Archived from the original on 2022-01-22. Retrieved 2022-01-22.

Type theory (English Wikipedia)

amazonaws.com (Global: 5,409th place; English: 3,407th place)

nlab-pages.s3.us-east-2.amazonaws.com

archive.org (Global: 6th place; English: 6th place)

arxiv.org (Global: 69th place; English: 59th place)

books.google.com (Global: 3rd place; English: 3rd place)

chalmers.se (Global: low place; English: 7,981st place)

cse.chalmers.se

doi.org (Global: 2nd place; English: 2nd place)

free.fr (Global: 321st place; English: 724th place)

lecomte.al.free.fr

ghostarchive.org (Global: 32nd place; English: 21st place)

handle.net (Global: 102nd place; English: 76th place)

hdl.handle.net

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

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

jstor.org (Global: 26th place; English: 20th place)

julialang.org (Global: low place; English: low place)

docs.julialang.org

leanprover.github.io (Global: low place; English: low place)

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

ncatlab.org (Global: low place; English: 8,775th place)

oreilly.com (Global: 4,347th place; English: 3,017th place)

philpapers.org (Global: 1,865th place; English: 1,260th place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

stanford.edu (Global: 179th place; English: 183rd place)

plato.stanford.edu

uwo.ca (Global: 5,491st place; English: 3,397th place)

publish.uwo.ca

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

worldcat.org (Global: 5th place; English: 5th place)

search.worldcat.org

youtube.com (Global: 9th place; English: 13th place)

amazonaws.com (Global: 5,409^th place; English: 3,407^th place)

archive.org (Global: 6^th place; English: 6^th place)

arxiv.org (Global: 69^th place; English: 59^th place)

books.google.com (Global: 3^rd place; English: 3^rd place)

chalmers.se (Global: low place; English: 7,981^st place)

doi.org (Global: 2^nd place; English: 2^nd place)

free.fr (Global: 321^st place; English: 724^th place)

ghostarchive.org (Global: 32^nd place; English: 21^st place)

handle.net (Global: 102^nd place; English: 76^th place)

jstor.org (Global: 26^th place; English: 20^th place)

ncatlab.org (Global: low place; English: 8,775^th place)

oreilly.com (Global: 4,347^th place; English: 3,017^th place)

philpapers.org (Global: 1,865^th place; English: 1,260^th place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

stanford.edu (Global: 179^th place; English: 183^rd place)

uwo.ca (Global: 5,491^st place; English: 3,397^th place)

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

worldcat.org (Global: 5^th place; English: 5^th place)

youtube.com (Global: 9^th place; English: 13^th place)