University of Gothenburg
  2. Study
  3. Programs and courses
  4. Lambda calculus, types and foundations of programming languages

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
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application period
-
Application code
GU-24170
Tuition
Full education cost: 19 250 SEK
First payment: 19 250 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Apply on University Admissions

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.

Study at The University of Gothenburg

How to apply
To be admitted to the University, you need to do an online application. The application procedure is straightforward, but it…
Scholarships for fee paying students
A scholarship can help cover the costs of your studies at the University of Gothenburg. On these pages you will find…
University studies in Sweden
The Academic calendar in Sweden
Last modified