Sciweavers

CORR
2006
Springer

Inductive-data-type Systems

13 years 11 months ago
Inductive-data-type Systems
Frédéric Blanqui, Jean-Pierre Jouann
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CORR
Authors Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
Comments (0)