-
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
-
Checking polynomial time complexity with types.
This dataset has no description
-
Elementary Complexity and Geometry of Interaction.
This dataset has no description
-
Timeless Games.
This dataset has no description
