- Titre
- Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
- Créateurs - sans rôle
- Richard Moot - Exploration et exploitation de données textuelles
- Contributeurs - sans rôle
- Christian RetoréGérard Huet (rapporteur)Myriam Quatrini [Rapporteur]Michele Abrusci (rapporteur)David Delahaye (Examinateur)Andreas Herzig (Examinateur)Reinhard Muskens (rapporteur)Robert D. Levine (examinateur)
- Institution diplômante
- Université de Montpellier
- Thèses et HDR
- Habilitation à diriger des recherches
- Identifiants
- 99152512209311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- Anglais
- Type de ressource
- Thèses et HDR
- Champs locaux
- tel-03452731
Thèses et HDR
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
Habilitation à diriger des recherches, Université de Montpellier
23/11/2021
Indicateurs
1 Consultations de la notice