Review history
Generating one-way computations with flow: flow-preserving rewriting that ignores the interpretation
-
2026-08-02 CONDITIONAL
-
2026-07-12 ACCEPT
Generating one-way computations with flow: flow-preserving rewriting that ignores the interpretation