On GAT and the construction of translators

Abstract
No abstract available