Concepedia

Type Theory

Type Theory is a formal system in mathematical logic and computer science that classifies terms into types according to their syntactic and semantic properties, thereby serving as a foundation for constructing rigorously structured languages and proof systems in deductive verification, formal semantics, proof assistants, and theorem proving.

1.6K

Publications

89K

Citations

1.9K

Authors

743

Institutions

Publications per year

2017–2026

239

Parents

Publications

1.6K

de Sitter vacua in string theory

Shamit Kachru, Andrei Linde, Sandip P. Trivedi · Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D. Particles and fields · 2003 · 3.4K citations · Full text

, , +12

LLVM: A compilation framework for lifelong program analysis & transformation

Chris Lattner, Vikram Adve · 2004 · 2.5K citations

, , +17

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

, , +9

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

, , +11

Evidence for F-theory

CERN Document Server (European Organization for Nuclear Research) · 1996 · 1.1K citations

, , +15

1–5 of 1.6K

Authors

1.9K

  1. LJ
    Leslie J. Francis

    University of Warwick, United Kingdom

    35 publications · 1.2K citations

    23

    h-index

  2. RH
    Robert Harper

    Carnegie Mellon University, United States

    33 publications · 1.8K citations

    22

    h-index

  3. FP
    Frank Pfenning

    Carnegie Mellon University, United States

    19 publications · 1K citations

    15

    h-index

  4. TC
    Thierry Coquand

    Chalmers University of Technology, Sweden

    18 publications · 924 citations

    15

    h-index

  5. SP
    Simon Peyton Jones

    Microsoft Research (United Kingdom), United Kingdom

    15 publications · 1.4K citations

    14

    h-index

1–5 of 1.9K

Institutions

743

  1. Carnegie Mellon University

    Pittsburgh, United States

    35 h-index

    142 publications

    8.2K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    31 h-index

    108 publications

    5.1K citations

  3. Chalmers University of Technology

    Gothenburg, Sweden

    26 h-index

    73 publications

    3.5K citations

  4. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    25 h-index

    50 publications

    3.7K citations

  5. Microsoft (United States)

    Redmond, United States

    23 h-index

    51 publications

    3K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    22 h-index

    48 publications

    2.8K citations

  7. University of Warwick

    Coventry, United Kingdom

    22 h-index

    48 publications

    1.4K citations

  8. University of Edinburgh

    Edinburgh, United Kingdom

    21 h-index

    36 publications

    3.4K citations

1–8 of 743

Venues

  1. Journal of Functional Programming

    50 publications · 3.2K citations

    29

    h-index

  2. Journal of Symbolic Logic

    45 publications · 6.3K citations

    28

    h-index

  3. Journal of High Energy Physics

    JHEP · 47 publications · 2.1K citations

    27

    h-index

  4. Theoretical Computer Science

    35 publications · 2.9K citations

    24

    h-index

  5. ACM SIGPLAN Notices

    49 publications · 1.6K citations

    23

    h-index

1–5