29 citations · 32 across the 7 of their papers we have counts for
10 papers · 1 filter
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…
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…
Non-idempotent intersection types in logical form
Thomas Ehrhard
Intersection types are an essential tool in the analysis of operational and denotational properties of lambda-terms and functional programs. Among them, non-idempotent intersection…
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas
Thomas Ehrhard, Farzad Jafar-Rahmani
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherence spaces (where both fixed points are interpreted in the same way) and in cohere…
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…