Weak Reduction and Garbage Collection in Interaction Nets
Jorge Sousa Pinto · Electronic Notes in Theoretical Computer Science · 2003
This paper presents an implementation device for the weak reduction of interaction nets to interface normal form. The results produced by running several benchmarks are given, suggesting that weak reduction greatly improves the performance of the interaction combinators-based implementation of the λ-calculus.