hoping1

Linear Logic: Par, a Friendly Explanation

3 points by hoping1 4 months ago | 1 comment

Par Part 3: Par, Continued

2 points by hoping1 4 months ago | 1 comment

A Tutorial on Linear Logic

5 points by hoping1 4 months ago | 1 comment

Linear Logic – Par Part 2

2 points by hoping1 4 months ago | 5 comments

Sequent Calculus and Notation – Par Part 1

38 points by hoping1 5 months ago | 10 comments

Getting Started with Category Theory

51 points by hoping1 7 months ago | 32 comments

Getting Started with Category Theory

1 point by hoping1 11 months ago | 0 comments

The Type of Sprintf

1 point by hoping1 1 year ago | 0 comments