siiky
2023/05/14
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?