4 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Thomas Seiller
We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locati…