Return to Article Details A lightweight abstract machine for interaction nets Download Download PDF