Hacker News new | ask | show | jobs
Linear Logic: Par, a Friendly Explanation (ryanbrewer.dev)
3 points by hoping1 456 days ago
1 comments

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!