主要观点：Interaction nets 是一种图重写系统，能捕捉所有可计算函数，计算步骤可定义为常量时间操作且允许并行性，通过代理、网和重写规则来实现计算。
关键信息：

• 代理（agent）：有一个主端口和若干辅助端口，成对连接在主端口的称为活动对，图形上主端口用箭头区分。
• 网（net）：是代理的无向图，通过线连接各端口，重写仅在活动对上根据交互规则进行。
• 重写规则： agents 仅通过主端口交互，每个规则中变量出现两次且各对符号最多一个规则，规则用网描述对表示。
  重要细节：
• 举例了四个代理：Successor、Zero、Add、Mul。
• 以计算 1 + 1 为例展示了网的重写过程及最终结果。
• 编程中使用 Inpla 记号表示规则，如加法程序和乘法中对额外符号的使用。
• 系统的交互组合子由 y（构造器）、d（复制器）、e（擦除器）组成，有六种交互规则包括交换和湮灭。
  相关资源：
• Interaction Nets
• Interaction Combinators
• Implementation of a low-level language for interaction nets
• Inpla
• Towards a Programming Language for Interaction Nets
• An Implementation Model for Interaction Nets
• ia2d
• Interaction Nets Playground
• Bologna Optimal Higher-Order Machine