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

12web.archive.org

1^st place

8doi.org

2^nd place

3books.google.com

3^rd place

2semanticscholar.org

11^th place

8^th place

2ncatlab.org

low place

8,775^th place

2ghostarchive.org

32^nd place

21^st place

2arxiv.org

69^th place

59^th place

1julialang.org

low place

1stanford.edu

179^th place

183^rd place

1jstor.org

26^th place

20^th place

1archive.org

6^th place

1free.fr

321^st place

724^th place

1philpapers.org

1,865^th place

1,260^th place

1worldcat.org

5^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

1ieee.org

652^nd place

515^th place

1chalmers.se

low place

7,981^st place

1oreilly.com

4,347^th place

3,017^th place

1handle.net

102^nd place

76^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

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

Alonzo Church (1956) Introduction To Mathematical Logic Vol 1

arxiv.org

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. Archived from the original on 2023-08-13. Retrieved 2022-06-21.
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 1 November 2024). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (link)

books.google.com

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

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 1 November 2024). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (link)

doi.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.
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.
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. Archived from the original on 2023-08-13. Retrieved 2022-06-21.
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 1 November 2024). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (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

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

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 1 November 2024). Archived (PDF) from the original on 2022-10-09.{{cite journal}}: CS1 maint: DOI inactive as of November 2024 (link)

handle.net

hdl.handle.net

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

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

hott.github.io

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

ieee.org

ieeexplore.ieee.org

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. Archived from the original on 2023-08-13. Retrieved 2022-06-21.

jstor.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.

julialang.org

docs.julialang.org

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

leanprover.github.io

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

logicmatters.net

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

ncatlab.org

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

oreilly.com

Balbaert,Ivo (2015) Getting Started with Julia

philpapers.org

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

semanticscholar.org

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.
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. Archived from the original on 2023-08-13. Retrieved 2022-06-21.

stanford.edu

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

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

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.
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. Archived from the original on 2023-08-13. Retrieved 2022-06-21.
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

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.

youtube.com

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