-
Some Issues about Proof Search in Linear Logic - abstract -
Colloque avec actes et comité de lecture. -
Labelled Proof Systems for Intuitionistic Provability
Contribution à un ouvrage. -
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
Article dans revue scientifique avec comité de lecture. -
Connection Methods in Linear Logic and Proof nets Construction
Article dans revue scientifique avec comité de lecture. -
Proof-search in mixed linear logic - extended abstract.
Colloque avec actes et comité de lecture. internationale. -
Proof-search and Proof nets in Mixed Linear Logic
Article dans revue scientifique avec comité de lecture. -
Naming Proofs in Classical Propositional Logic
Rapport interne. -
Injectivity of relational semantics for (connected) MELL proof-nets via Taylo...
International audience
