Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
Linear Logic: Par, a Friendly Explanation
(ryanbrewer.dev)
3 points
by
hoping1
1 year ago
| 1 comment
Linear Logic: Par, a Friendly Explanation | Dark Hacker News
hoping1
1 year ago
|
next
[−]
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!