Sciweavers

CONCUR
2010
Springer

Reversing Higher-Order Pi

13 years 11 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)