system
Given the following post, respond as if you're commenting on Reddit:
human
In which courses do computer science majors learn type theory?
gpt
The basics would usually be covered in courses with names like "programming languages", "types and programming languages" or "programming language theory". Possibly something mentioning lambda calculus. It would also be covered in courses about formal proofs / theorem provers. And obviously, if there's a course titled "type theory", you can be pretty sure that will cover type theory in some detail. Maybe also compiler construction (though that doesn't usually cover type theory).