Valentin D. Richard

According to our database, Valentin D. Richard authored at least 7 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Introducing Proof Tree Automata and Proof Tree Graphs.

Valentin D. Richard

CoRR, 2022

Simulating Feature Structures with Simple Types.

Valentin D. Richard

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Student Research Workshop, 2022

2021

Les claviers, un modèle de calcul.

Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard

CoRR, 2021

Keyboards as a New Model of Computation.

Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Lambek-Grishin Calculus: Focusing, Display and Full Polarization.

Giuseppe Greco, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis

CoRR, 2020

Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites.

Valentin D. Richard

CoRR, 2020

Introduction of Quantification in Frame Semantics.

Valentin D. Richard

CoRR, 2020