Using interaction nets, define the following functions on numbers represented with 0 and S (successor): – is-zero, which produces a result True if the number is 0 and False otherwise; – min, which...

Using interaction nets, define the following functions on numbers represented with 0 and S (successor):

– is-zero, which produces a result True if the number is 0 and False otherwise;

– min, which computes the minimum of two numbers;

– factorial, which computes the factorial of a number.