top | item 43345550 (no title) hoping1 | 11 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! discuss order hn newest No comments yet.
No comments yet.