4 ms·
These are basically interaction nets with different rules than those used for lambda calculus. > Interaction nets are a graphical model of computation devised
by compressedgas 3y ago
These are basically interaction nets with different rules than those used for lambda calculus.
> Interaction nets are a graphical model of computation devised by Yves Lafont in 1990
https://en.wikipedia.org/wiki/Interaction_nets https://en.wikipedia.org/wiki/Interaction_nets
- bob_coecke 3y agoNot really, interaction nets and linear logic don't have the compact closed categorical semantics we use here. Ros Duncan's PhD is about the differences. (and that was long before the extra structures of ZX had started)