diff options
| author | JJ | 2024-05-20 03:04:59 +0000 |
|---|---|---|
| committer | JJ | 2024-05-20 03:04:59 +0000 |
| commit | ed8c2d6b56655f1a362f7683b9da3ac521920a42 (patch) | |
| tree | 08d1936993e2a9b9d07433b3ea8a4a05487634d5 /plt/interaction-nets.md | |
| parent | 8f7194de7767f8cede241682a368d01bcda66abc (diff) | |
meow
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) |