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!
[ Parent
| on HN ]
There are no comments on this comment yet.