From ed8c2d6b56655f1a362f7683b9da3ac521920a42 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sun, 19 May 2024 20:04:59 -0700
Subject: meow

---
 plt/interaction-nets.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 plt/interaction-nets.md

(limited to 'plt/interaction-nets.md')

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)
-- 
cgit v1.2.3-70-g09d2