A. V. Barbosa

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. LSFA (2010)