29 citations · 32 across the 9 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
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…
cs.LO2019
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…
cs.LO2019
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…