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

Richard Moot

Habilitation À Diriger Des Recherches Year : 2021

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

(1)

1

Richard Moot

Function : Author
PersonId : 738689
IdHAL : richard-moot
ORCID : 0000-0002-6450-1600
IdRef : 164827560

Exploration et exploitation de données textuelles

Keywords

type-logical grammar proof theory computational linguistics

grammaires catégorielles théorie de la démonstration linguistique informatique

Domains

Computation and Language [cs.CL] Logic [math.LO] Artificial Intelligence [cs.AI]

Fichier principal

hdr_short.pdf (1.17 Mo)

moot.bib (223.24 Ko)

Origin	Files produced by the author(s)

Richard Moot : Connect in order to contact the contributor

https://hal-lirmm.ccsd.cnrs.fr/tel-03452731

Submitted on : Saturday, November 27, 2021-12:55:26 PM

Last modification on : Friday, April 5, 2024-1:14:55 PM

Long-term archiving on : Monday, February 28, 2022-6:18:26 PM

Dates and versions

tel-03452731 , version 1 (27-11-2021)

Identifiers

HAL Id : tel-03452731 , version 1

Cite

Richard Moot. Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars. Computation and Language [cs.CL]. Université Montpellier, 2021. ⟨tel-03452731⟩

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

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share