Concepedia

Type-logical Semantics

Type-Logical Semantics is a formal framework within compositional semantics that interprets natural language meaning through the lens of type logic, where linguistic expressions are assigned types corresponding to logical categories and their meanings are derived via type-driven composition principles.

107

Publications

4.8K

Citations

176

Authors

105

Institutions

Publications per year

2017–2026

8

Parents

Publications

107

Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 111<i>16</i>. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153.

Alonzo Church · Journal of Symbolic Logic · 1974 · 484 citations

, , +15

The Principal Type-Scheme of an Object in Combinatory Logic

R. Hindley · Transactions of the American Mathematical Society · 1969 · 315 citations

, , +13

Computation and reasoning: a type theory for computer science

Choice Reviews Online · 1995 · 243 citations

, , +16

Towards abstract categorial grammars

Philippe de Groote · 2001 · 205 citations · Full text

, , +10

Dual Intuitionistic Linear Logic

Andrew Barber · International Journal of Biological Macromolecules · 1996 · 172 citations

, , +13

1–5 of 107

Authors

176

  1. PW
    Peter W. O’Hearn

    Queen Mary University of London, United Kingdom

    3 publications · 183 citations

    3

    h-index

  2. YK
    Yūsuke Kubota

    National Institute for Fusion Science, Japan

    3 publications · 84 citations

    3

    h-index

  3. RM
    Richard Moot

    Laboratoire Bordelais de Recherche en Informatique, France

    3 publications · 44 citations

    3

    h-index

  4. NF
    Nissim Francez

    Technion – Israel Institute of Technology, Israel

    2 publications · 36 citations

    2

    h-index

  5. MM
    Michael Moortgat

    Utrecht University, Netherlands

    2 publications · 23 citations

    2

    h-index

1–5 of 176

Institutions

105

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    7 publications

    456 citations

  2. University of Cambridge

    Cambridge, United Kingdom

    4 h-index

    4 publications

    289 citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    7 publications

    84 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    3 publications

    73 citations

  5. Laboratoire Bordelais de Recherche en Informatique

    Talence, France

    3 h-index

    4 publications

    145 citations

  6. The Ohio State University

    Columbus, United States

    3 h-index

    3 publications

    81 citations

  7. University of Turin

    Turin, Italy

    3 h-index

    5 publications

    103 citations

  8. University of Tsukuba

    Tsukuba, Japan

    3 h-index

    3 publications

    84 citations

1–8 of 105

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 124 citations

    6

    h-index

  2. Notre Dame Journal of Formal Logic

    4 publications · 124 citations

    4

    h-index

  3. Journal of Functional Programming

    3 publications · 211 citations

    3

    h-index

  4. ACM SIGPLAN Notices

    3 publications · 64 citations

    3

    h-index

  5. Journal of Automated Reasoning

    3 publications · 105 citations

    3

    h-index

1–5