2 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2020★ 2 cited
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Giuseppe Greco, Valentin D. Richard, Michael Moortgat +1
\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof sea…
cs.LO2020
Introduction of Quantification in Frame Semantics
Valentin D. Richard
Feature Structures (FSs) are a widespread tool used for decompositional frameworks of Attribute-Value associations. Even though they thrive in simple systems, they lack a way of re…
cs.CL2020
Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites
Valentin D. Richard
Lambek Grammars (LG) are a computational modelling of natural language, based on non-commutative compositional types. It has been widely studied, especially for languages where the…