5 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Christine Tasson, Lionel Vaux
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction t…