| Assignments | Sample Answers | TA Access |
- Math foundations: Practice with answers
- Assignment 1: Math foundations
- Assignment 2: Operational semantics
- Axiomatic semantics practice with answers
- Assignment 3: Axiomatic semantics
- Assignment 4: Denotational semantics
- Assignment 5: Denotational Semantics of Imperative Languages
- Assignment 6: Denotational Semantics of Languages with Contexts
- Lambda Calculus practice with answers
- Semantic algebra practice with answers
- Denotational semantics practice with answers
- More denotational practice, with answers
| FILE SUBMISSION |
