That's how I found out about this rabbit-hole: Baker references Lafont's Interaction Nets in that paper. I also really liked https://dl.acm.org/doi/pdf/10.1145

That's how I found out about this rabbit-hole: Baker references Lafont's Interaction Nets in that paper. I also really liked https://dl.acm.org/doi/pdf/10.1145/319838.319868 https://dl.acm.org/doi/pdf/10.1145/319838.319868 -- It is great. Clear and to-the point. I just adore the hand-drawn pictures.