-
Proof nets for the Lambek-Grishin calculus
Revised version to appear as a chapter in E. Grefenstette, C. Heunen, and M. Sadrzadeh (eds.) 'Compositional Methods in Physics and Linguistics', Oxford University Press -
Proofs nets and the categorial flow of information
International audience -
A semantic measure of the execution time in linear logic
International audience -
Strong normalization property for second order linear logic
International audience -
Proofs as Executions
International audience -
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
Light logics and optimal reduction: Completeness and complexity
International audience -
Extended Lambek calculi and first-order linear logic
International audience -
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syn...
International audience -
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... -
Stratified coherence spaces: a denotational semantics for light linear logic.
This dataset has no description
-
Elementary Complexity and Geometry of Interaction.
This dataset has no description
-
Elementary Complexity and Geometry of Interaction.
This dataset has no description
-
Multiplicative exponential proof structures and logic programming
submitted (March 2006) -
Proof Nets for the Lambek Calculus - an overview
Colloque sur invitation. -
Lexicalized Proof-Nets in Pomset Logic & TAG
Colloque avec actes et comité de lecture./http://www.springerlink.com/content/fwnnfkg1te8q/ -
Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
Colloque avec actes et comité de lecture. -
Proof construction in linear logic and programming
Colloque sur invitation. -
Connection proof search methods in Linear Logic and proof nets construction
Article dans revue scientifique avec comité de lecture. -
Proof nets Construction and Automated Deduction in Non-commutative Linear Log...
Article dans revue scientifique avec comité de lecture.
