Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus

We present a simple implementation of weak head reduction in the λ-calculus with interaction nets using package duplication.