Y
Hacker News
new
|
ask
|
show
|
jobs
Linear Logic: Par, a Friendly Explanation
(
ryanbrewer.dev
)
3 points
by
hoping1
456 days ago
1 comments
hoping1
456 days 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!
link