Linear Logic: Par, a Friendly Explanationryanbrewer.dev 3 pointshoping11 year ago1 commentSaveHideCopy link On HNComments−hoping1OP1yAn 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!
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!