blob: c5ce3629e4250a134f93be2e2e3c2a9cda43e1ba (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
---
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)
|
