Lambda calculus, types and foundations of programming languages
Course
LOG370
Master’s level
7.5 credits (ECTS)
Offered by the
Department of Philosophy, Linguistics, Theory of Science
at the
Faculty of Humanities
Prerequisites and selection
Entry requirements
For admission to the course successful completion of Logical theory (LOG111), or the equivalent, is
required.
English 6 or equivalent is also required.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.