Return to Article Details Realizing Impure Functions in Interaction Nets Download Download PDF