A. V. Barbosa

According to our database, A. V. Barbosa authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi.

Flávio L. C. de Moura, A. V. Barbosa, Mauricio Ayala-Rincón, Fairouz Kamareddine

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010