English Interaction nets Cited by user Codedot on 02 Apr 2017 Interaction nets are a low level graphical computation paradigm first proposed by Yves Lafont and based on Jean-Yves Girard's proof nets for linear logic.