1 paper · 1 filter
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…