Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Habilitation À Diriger Des Recherches Year : 2021

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

Fichier principal
Vignette du fichier
hdr_short.pdf (1.17 Mo) Télécharger le fichier
moot.bib (223.24 Ko) Télécharger le fichier
Origin Files produced by the author(s)

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⟩
121 View
121 Download

Share

More