---
layout: plt
title: computation/interaction nets
---

# interaction nets

- [xxiivv](https://wiki.xxiivv.com/site/interaction_nets.html)
- [Interaction nets](https://dl.acm.org/doi/pdf/10.1145/96709.96718)
- [An algorithm for optimal lambda calculus reduction](https://dl.acm.org/doi/pdf/10.1145/96709.96711)
- [Optimality and inefficiency: what isn't a cost-model of the lambda calculus?](https://dl.acm.org/doi/pdf/10.1145/232629.232639)