💾 Archived View for dcreager.net › theory › interaction-nets captured on 2024-12-17 at 09:34:18. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Another universal model of computation. Interaction _nets_ are a graphical notation. Has an equivalent interaction _combinator_ system.
[Lafont1997] Interaction combinators
[Hassan2008] Interaction nets: Programming language design and implementation