1 comment

[ 3.4 ms ] story [ 4.2 ms ] thread
An accessible introduction to the infamous Par operator, with a focus on intuition. Notably, this is on the broader concept of multiplicative disjunction, which appears even outside of linear logic!