Equational Programming (course code 401011) is a course in the
minor Deep Programming about the foundations of functional programming.
The theoretical part of the course is concerned with lambda calculus and equational specifications, and possibly also the basics of term rewriting.
The practical part consists of exercises in the functional programming language Haskell.
Logic and Modelling.
Possible follow-up courses: Term Rewriting Systems (master course) and Logical Verification (master course).