Description
This multidisciplinary junior/senior-level course is designed to
provide a thorough introduction to modern constructive logic, its roots
in philosophy, its numerous applications in computer science, and its
mathematical properties. Some of the topics to be covered are
intuitionistic logic, inductive definitions, functional programming,
type theory, computational content of classical logic, intuitionistic
linear logic, and constructive modal logic.
Please read the course overview for a more
detailed discussion of the course content.