Valentin D. Richard

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 7

Top Topics

Proof Procedure

Top Venues

NAACL-HLT (Student Research Workshop)

Publications

Valentin D. Richard
Introducing Proof Tree Automata and Proof Tree Graphs. CoRR (2022)
Valentin D. Richard
Simulating Feature Structures with Simple Types. NAACL-HLT (Student Research Workshop) (2022)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Keyboards as a New Model of Computation. MFCS (2021)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Les claviers, un modèle de calcul. CoRR (2021)
Giuseppe Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis
Lambek-Grishin Calculus: Focusing, Display and Full Polarization. CoRR (2020)
Valentin D. Richard
Introduction of Quantification in Frame Semantics. CoRR (2020)
Valentin D. Richard
Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites. CoRR (2020)