diff options
Diffstat (limited to 'plt/interaction-nets.md')
| -rw-r--r-- | plt/interaction-nets.md | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/plt/interaction-nets.md b/plt/interaction-nets.md new file mode 100644 index 0000000..c5ce362 --- /dev/null +++ b/plt/interaction-nets.md @@ -0,0 +1,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) |