1 paper
Maribel Fernández, Ian Mackie, Matthew Walker
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. How…