A Primitive Recursive Set Theory and AFA: On the Logical Complexity of the Largest Bisimulation.

Tim Fernando

Browse the full CSL paper archive.