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
Hdr Année : 2021

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

Richard Moot
Exploration et exploitation de données textuelles

Domaines

Informatique et langage [cs.CL] Logique [math.LO] Intelligence artificielle [cs.AI]
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)

Richard Moot  : Connectez-vous pour contacter le contributeur

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

Soumis le : samedi 27 novembre 2021-12:55:26

Dernière modification le : vendredi 5 avril 2024-13:14:55

Archivage à long terme le : lundi 28 février 2022-18:18:26

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS TEXTE LIRMM MIPS UNIV-MONTPELLIER
126 Consultations
124 Téléchargements

Partager

More