207 citations · 309 across the 9 of their papers we have counts for
1 paper · 1 filter
Alessio Guglielmi
This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challen…