You need to enable JavaScript to run this app.
Readit News
Posted by
u/hoping1
10 months ago
Linear Logic: Par, a Friendly Explanation
ryanbrewer.dev/posts/par/...
hoping1
·
10 months 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!