Reversing Higher-Order Pi.

Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani

Browse the full CONCUR paper archive.