-
Phase semantics, proof nets and some decision problems in linear logic.
Linear logic (LL) is very expressive: the smallest propositonal fragment is already NP-complete and the whole logic is indecidable. One can simulate usual... -
Connection-based proof construction in Non-Commutative Logic
Colloque avec actes et comité de lecture. internationale.
