Yeah, perhaps you're right. I was trying to delineate what gets done in maths departments from what gets done in computer science, philosophy or other departmen

Yeah, perhaps you're right. I was trying to delineate what gets done in maths departments from what gets done in computer science, philosophy or other departments at universities while still falling under the umbrella of mathematics. Stuff like type theory is rarely done in maths departments (though it sometimes is).