Teoria de tipus intuicionista • Altres llengües