user: hoping1
111 karma | created 2 years ago
recent submissions
9 months ago|discuss
9 months ago|discuss
11 months ago|discuss
Linear Logic: Par, a Friendly Explanation
(ryanbrewer.dev)
3 pts|11 months ago|1 comment
11 months ago|discuss
Par Part 3: Par, Continued
(ryanbrewer.dev)
2 pts|11 months ago|1 comment
1 year ago|discuss
A Tutorial on Linear Logic
(ryanbrewer.dev)
5 pts|1 year ago|1 comment
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
Linear Logic – Par Part 2
(ryanbrewer.dev)
2 pts|1 year ago|5 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
Sequent Calculus and Notation – Par Part 1
(ryanbrewer.dev)
38 pts|1 year ago|10 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss