Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : tel-03452731 , version 1

Citer

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⟩
107 Consultations
112 Téléchargements

Partager

Gmail Facebook X LinkedIn More