5 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2010★ 5 cited
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…