What Do Reversible Programs Compute?

Holger Bock Axelsen, Robert Glck

Browse the full FOSSACS paper archive.