effectively computable function - Espagnol Anglais Dictionnaire