-
A sequent calculus with procedure calls
The proof of Cut-elimination is unfortunately bugged. It is repaired in "Sequent Calculi with procedure calls", hal-00779199, v4 -
Sequent Calculi with procedure calls
In this paper, we introduce two focussed sequent calculi, LKp(T) and LK+(T), that are based on Miller-Liang's LKF system for polarised classical logic. The novelty is... -
Polarization and abstraction of grammatical formalisms as methods for lexical...
Colloque avec actes et comité de lecture. internationale. -
La sémantique dans les grammaires d'interaction
Colloque avec actes et comité de lecture. internationale.
