DMCA

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (2010)

by F. L. C. De Moura , A. V. Barbosa , M. Ayala-rincón , F. Kamareddine