The course is also offered to the students of the fields other than those the course is directly associated with.
Fields of study the course is directly associated with
there are 18 fields of study the course is directly associated with, display
This course delivers focuses on the correspondence between proof theory
and typed lambda-calculus and its generalization to the correspondence
between computations as proof simplifications and program specifications
as types in various formal settings. The contents of the course is
relevant for work in many areas of theoretical computer science.
Meaning and denotation in logic, tarski and Heyting.