8 citations · 19 across the 11 of their papers we have counts for
1 paper · 1 filter
Flavien Breuvart
Since its discovery, differential linear logic (DLL) inspired numerous domains. In denotational semantics, categorical models of DLL are now commune, and the simplest one is Rel, t…