Join Inverse Categories as Models of Reversible Recursion.

Holger Bock Axelsen, Robin Kaarsgaard

Browse the full FOSSACS paper archive.