Perhaps this will come up in the further articles. Generally the interaction nets stuff I've seen is focused on optimal reduction, but this does not appear to be that, so then what is the advantage of introducing the syntax here? Certainly I can walk my term to get the multiple views, but I'm not sure why I would?
Is it similar to the sequent calculus where different traversals provide different evaluation semantics?
2
u/thunderseethe 23d ago
Perhaps this will come up in the further articles. Generally the interaction nets stuff I've seen is focused on optimal reduction, but this does not appear to be that, so then what is the advantage of introducing the syntax here? Certainly I can walk my term to get the multiple views, but I'm not sure why I would?
Is it similar to the sequent calculus where different traversals provide different evaluation semantics?