-
A self-dual modality for "before" in the category of coherence spaces and in ...
In his paper ``A new constructive logic: classical logic'' Jean-Yves Girard brought up the question of a self-dual modality. This note provides a semantical solution... -
On the relation between coherence semantics and multiplicative proof nets
It is known that (mix) proof nets admits a coherence semantics, computed as a set of experiments. We prove here the converse: a proof structure is shown to be a proof... -
Logic in the Hyperfinite Factor: Geometry of Interaction and Complexity
This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start... -
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 -
Resource Lambda-Calculus: the Differential Viewpoint
International audience -
Antirealism, Strict Finitism and Structural Rules
According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have... -
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time...
International audience -
Light logics and optimal reduction: Completeness and complexity
International audience -
Contribution à l'analyse des systèmes pilotés par calculateurs : extraction d...
The progressive integration of electronics in the car and avionics fields has lead to improvements in both functions and services. However, this has caused an... -
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
-
Type inference for light affine logic via constraints on words.
This dataset has no description
