Sciweavers

CONCUR
2010
Springer

Reversing Higher-Order Pi

14 years 3 months ago
Reversing Higher-Order Pi
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard
Added 06 Dec 2010
Updated 06 Dec 2010
Type Conference
Year 2010
Where CONCUR
Authors Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
Comments (0)