The syllabus is famously rigorous, moving from basic lambda calculus to complex concurrent systems. Key topics include:
This leads to the concept of —proving that code behaves correctly, which is the foundation of safety-critical systems in aviation, medicine, and finance. 15312 foundations of programming languages
The course builds up from simple systems to complex ones. The syllabus is famously rigorous, moving from basic
