29 citations · 81 across the 22 of their papers we have counts for
4 papers · 2 filters
Acyclic Solos and Differential Interaction Nets
Thomas Ehrhard, Olivier Laurent
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that e…
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…
On Linear Information Systems
A. Bucciarelli, A. Carraro, T. Ehrhard +1
Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotatio…
A finiteness structure on resource terms
Thomas Ehrhard
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of reso…