-
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 relational semantics for parallelism and non-determinism in a functional se...
International audience -
Resource Lambda-Calculus: the Differential Viewpoint
International audience -
A Presheaf Environment for the Explicit Fusion Calculus
International audience -
Stratified coherence spaces: a denotational semantics for light linear logic.
This dataset has no description
-
Timeless Games.
This dataset has no description
-
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
This dataset has no description
-
Patterns for computational effects arising from a monad or a comonad
This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system... -
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... -
On Context Semantics and Interaction Nets
International audience -
Injectivity of relational semantics for (connected) MELL proof-nets via Taylo...
International audience
