Language as a Tool of Thought: Consistency versus Progress

Programming Languages