What I have looked up into: here, here and here

What I have learnt:

  1. What is an interaction net, its deduction & interaction rules,
  2. How deduction rules can be changed into interaction rules -- you "link" the two sides of one deduction rule, "magically" turn their arrows up and rearrange the bubbles, and then split them according to the rearrangement, and
  3. You can use interaction rules to simply represent a interaction programming language's syntax.

What I am confused of:

  1. Why interaction rules can be used as syntaxes: they haven't told me how to translate interaction rules back into deduction rules, they are only giving one direction of the translation.

  2. Why interaction rules are chosen for syntaxes: since there've been already deduction rules for describing the net's behavior, why even use harder-to-read interaction rules to describe it? Otherwise you can just use deduction rules and translate it into interaction rules when using any interaction PLs. Is it easier to be applied in some technical details? How does interaction rules work on one sentence like (Cons Nil Nil)?

  • $\begingroup$ Please ask only one question per post. $\endgroup$ – Raphael Oct 29 '18 at 13:36
  • $\begingroup$ Instead of just stating what you know please give a short summary of your understanding. The problem may be there. $\endgroup$ – Raphael Oct 29 '18 at 13:37
  • $\begingroup$ @Raphael Actually they are all for the question in the title, I mean, I need an explanation from these aspects... but I have reorganized the content, hope it is fine now. $\endgroup$ – Bell Fox Oct 29 '18 at 14:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.