A Unifying Categorical View of Nondeterministic Iteration and Tests.

Sergey Goncharov, Tarmo Uustalu

Browse the full CONCUR paper archive.