5 citations · 5 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
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…
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva +1
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has…
A convenient differential category
Richard Blute, Thomas Ehrhard, Christine Tasson
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such…