Linear Logic: Par, a Friendly Explanation

3 points by hoping1 4 months ago | 1 comment
  • hoping1 4 months 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!