In lambda calculus, disjoint redexes can be reduced in parallel.
And in interaction nets, all active pairs can be reduced in parallel [1].
[]1 https://en.wikipedia.org/wiki/Interaction_nets
In lambda calculus, disjoint redexes can be reduced in parallel.
And in interaction nets, all active pairs can be reduced in parallel [1].
[]1 https://en.wikipedia.org/wiki/Interaction_nets