29 citations · 90 across the 13 of their papers we have counts for
1 paper · 2 filters
Christine Tasson
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by…