Interaction nets

siiky

2023/05/14

2023/05/14

2023/08/19

programming,formal_methods,computer_science

• https://en.wikipedia.org/wiki/Interaction_nets

A formal model of computation.

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

How do interaction nets compare with Petri nets?

• petri_nets.html