Sciweavers

JANCL
2006

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi

13 years 11 months ago
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
Flávio L. C. de Moura, Mauricio Ayala-Rinc&
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JANCL
Authors Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Comments (0)