13 citations · 24 across the 11 of their papers we have counts for
1 paper · 1 filter
Charles Grellois, Paul-André Melliès
In this paper, we construct an infinitary variant of the relational model of linear logic, where the exponential modality is interpreted as the set of finite or countable multisets…