Introduction of Quantification in Frame Semantics. - Valentin D. Richard (CoRR, 2020)

Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites. - Valentin D. Richard (CoRR, 2020)

Lambek-Grishin Calculus: Focusing, Display and Full Polarization. - Giuseppe Greco 001; Valentin D. Richard; Michael Moortgat; Apostolos Tzimoulis (CoRR, 2020)

Keyboards as a New Model of Computation. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (MFCS, 2021)

Les claviers, un modèle de calcul. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (CoRR, 2021)

Simulating Feature Structures with Simple Types. - Valentin D. Richard (NAACL-HLT (Student Research Workshop), 2022)

Introducing Proof Tree Automata and Proof Tree Graphs. - Valentin D. Richard (CoRR, 2022)