1. Rewrite the following expression in piCalculus representation
if x=y then P else Q
2. Are P0 and P equivalent to each other? Why or why not?
3. Are P+0 and P equivalent to each other? Why or why not?





5. Variable binding exercise ("v" denotes the restriction operator, "fn" the function to get the free variable set, and "bn" the function to get the bounded variable set):