Publications
Publications
Upcoming
En cours
- Giuseppe Greco, Valentin D. Richard, Michael Moortgat and Apostolos Tzimoulis. forthcoming.
Lambek-Grishin Calculus: Focusing, Display and Full Polarization.
In A. Palmigiano and M. Sadrzadeh (Eds.), forthcoming, Outstanding Contributions to Logic: Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer.
2021
- Philippe de Groote and Valentin D. Richard 2021.
Embedding Intensional Semantics into Inquisitive Semantics.
In Frank Drewes, editors,
Proceedings of the 17th Meeting on the Mathematics of Language (MOL),
Montpellier, France. Association for Computational Linguistics
[Slides]
[BibTex]
- Yoan Géran, Bastien Laboureix, Corto Mascle and Valentin D. Richard. 2021.
Keyboards as a New Model of Computation.
In Filippo Bonchi and Simon J. Puglisi, editors,
46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021),
volume 202 of Leibniz International Proceedings in Informatics (LIPIcs),
pages 49:1–49:20, Dagstuhl, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
ISBN 978-3-95977-201-3. doi:10.4230/LIPIcs.MFCS.2021.49.
[BibTex]
- Valentin D. Richard. 2021.
Embedding Intentional Semantics into Inquisitive Semantics.
Master thesis. Université de Paris, France.
[BibTex]
2019
2018