29 citations · 32 across the 9 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Categorical models of Linear Logic with fixed points of formulas
Thomas Ehrhard, Farzad Jafarrahmani
We develop a denotational semantics of muLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional muMALL with exponen…
cs.LO2020
Upper approximating probabilities of convergence in probabilistic coherence spaces
Thomas Ehrhard
We develop a theory of probabilistic coherence spaces equipped with an additional extensional structure and apply it to approximating probability of convergence of ground type prog…
cs.LO2020
On the linear structure of cones
Thomas Ehrhard
For encompassing the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, Ehrhard and…