The Cut Operator
Roger Hui

0.  Definition
0.1  Monadic Cases
0.2  Dyadic Cases
1.  Examples
1.1  0-Cut
1.2  ±1-Cut and ±2-Cut
1.3  ±3-Cut
1.4  Annotations
2.  Model
2.1  Tests
3.  Special Code
References
 
Slides