generated at
interaction nets
Geometry of interaction
Graph rewriting
Lambda calculus
Linear graph grammar
Linear logic
Proof net

googleinteraction nets
image interaction nets
define interaction nets
wikipedia interaction nets
weblio interaction nets
kotobank interaction nets
jisho interaction nets