Y
Hacker News
new
|
ask
|
show
|
jobs
by
hoping1
461 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!