Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars

Authors :: Moot, Richard
Exploration et exploitation de données textuelles (TEXTE)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Université Montpellier
Christian Retoré
Source :: Computation and Language [cs.CL]. Université Montpellier, 2021
Publication Year :: 2021
Publisher :: HAL CCSD, 2021.

Subjects :: computational linguistics
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
théorie de la démonstration
type-logical grammar
grammaires catégorielles
linguistique informatique
proof theory
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Tools