top | item 43345549 Linear Logic: Par, a Friendly Explanation 3 points| hoping1 | 11 months ago |ryanbrewer.dev 1 comment order hn newest hoping1|11 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!
hoping1|11 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!
hoping1|11 months ago