💾 Archived View for siiky.srht.site › wiki › interaction_nets.gmi captured on 2024-06-16 at 13:09:37. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Interaction nets

siiky

2023/05/14

2023/08/19

programming,formal_methods,computer_science

gemini://gemi.dev/cgi-bin/wp.cgi/view/en?Interaction_nets

A formal model of computation.

https://catcatnya.com/@arcade/110170488470969011

How do interaction nets compare with Petri nets?

petri_nets.gmi