research
∙
06/13/2022
Introducing Proof Tree Automata and Proof Tree Graphs
In structural proof theory, designing and working on large calculi make ...
share
research
∙
02/19/2021
Les claviers, un modèle de calcul
We introduce a new formalisation of languages, called keyboards. We cons...
research
∙
11/05/2020
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Focused sequent calculi are a refinement of sequent calculi, where addit...
research
∙
01/25/2020
Introduction of Quantification in Frame Semantics
Feature Structures (FSs) are a widespread tool used for decompositional ...
research
∙
01/23/2020