News for hackers. Stuff that matters.
Re:Linear Logic: Par, a Friendly Explanation by hoping1 on Wednesday March 12, 2025 @01:24PM (#43345550)
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!

There are no comments on this comment yet.