Categorical Semantics

Categorical Semantics is a formal framework within formal semantics that interprets linguistic expressions as morphisms and syntactic categories as objects in a category-theoretic structure, thereby providing a compositional semantics grounded in category theory.

639

Publications

45.1K

Citations

979

Authors

455

Institutions

Publications per year

2017–2026

86

Authors

979

  1. BC
    Bob Coecke

    University of Oxford, United Kingdom

    12 publications · 1.3K citations

    12

    h-index

  2. JP
    John Power

    University of Edinburgh, United Kingdom

    11 publications · 588 citations

    11

    h-index

  3. MS
    Mehrnoosh Sadrzadeh

    University of Oxford, United Kingdom

    10 publications · 660 citations

    10

    h-index

  4. BJ
    Bart Jacobs

    Radboud University Nijmegen, Netherlands

    9 publications · 300 citations

    9

    h-index

  5. RA
    R. A. G. Seely

    McGill University, Canada

    9 publications · 443 citations

    9

    h-index

1–5 of 979

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 44 publications · 1.2K citations

    22

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 37 publications · 2K citations

    21

    h-index

  3. Journal of Pure and Applied Algebra

    24 publications · 1.2K citations

    18

    h-index

  4. arXiv (Cornell University)

    Repository · 25 publications · 916 citations

    16

    h-index

  5. Theoretical Computer Science

    19 publications · 653 citations

    14

    h-index

1–5