[–] hoping1 1y ago ↗ 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!
1 comment
[ 1.8 ms ] story [ 16.7 ms ] thread