Login / Signup

Controlling Reversibility in Higher-Order Pi.

Ivan LaneseClaudio Antares MezzinaAlan SchmittJean-Bernard Stefani
Published in: CONCUR (2011)
Keyphrases