-
Call-by-value non-determinism in a linear logic type discipline
International audience -
Nested Deduction in Logical Foundations for Computation
This thesis investigates the use of deep inference formalisms as basis for a computational interpretation of proof systems, following the two main approaches:... -
Obsessional cliques: a semantic characterization of bounded time complexity
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that... -
A Linear Category of Polynomial Functors (extensional part)
21 pages +2 pages d'appendice -
A Logical Framework for Systems Biology
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. We show how such a logic can be used, with... -
Words as modules: a lexicalised grammar in the framework of linear logic proo...
Colloque avec actes et comité de lecture. -
Proof Nets for the Lambek Calculus - an overview
Colloque sur invitation. -
Concurrent Programming as Proof Net Construction
Article dans revue scientifique avec comité de lecture. -
A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based o...
Article dans revue scientifique avec comité de lecture. -
Proof Systems for Intuitionistic Provability in Linear Logic
Colloque avec actes et comité de lecture. -
From ordered monoids to quantales and Petri nets: completeness results revisi...
Colloque avec actes et comité de lecture. -
Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
Colloque avec actes et comité de lecture. -
Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Lo...
Article dans revue scientifique avec 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. -
From Intuitionistic Proof Nets to Interaction Grammars
Rapport interne. -
A PSPACE-complete fragment of second-order linear logic
Article dans revue scientifique avec comité de lecture. -
Spaces for linguistic representations and the semantics of linear Logic
Colloque sur invitation. internationale. -
From Ordered Monoids to Quantales and Petri Nets: Revised Semantics and Compl...
Submitted to a Journal. Rapport interne. -
A Specification Logic for Concurrent Object-oriented Programming
Article dans revue scientifique avec comité de lecture.
