Textual rules defining addition were given in Example 7.14. Can you write
the textual version of the rules for multiplication given in Section 7.2?
Explain why interaction nets are not suitable as a model for nondeterministic computations.
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here