DMCA

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi

by Flávio L. C. De Moura, et al.
Citations:1 - 1 self