Controlling Reversibility in Higher-Order Pi.

Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani

Browse the full CONCUR paper archive.