UNIVERSITY OF GOTHENBURG · SWEDEN
Lambda calculus, types and foundations of programming languages
Master's · Taught in en · UCAS GU-24170
At a glance
2 mo
Duration
6.0
IELTS
€2k
Tuition / yr
en
Language
Master's
Level
- 7.5ECTS credits
- Master's levelStudy Level
- EnglishLanguage of Instruction
- On-CampusStudy Mode
- Göteborg, SwedenLocation
- 19,250 SEKFull Tuition Fee
This Master's level course delves into the theoretical underpinnings of modern functional programming languages through lambda calculus. It explores the connections between computation, logic, and mathematics, providing a deep understanding of how types influence program behavior. The course bridges formal systems like System T, System F, and PCF with practical programming concepts, examining properties such as termination and confluence. You will learn advanced proof techniques and gain insights into the Curry-Howard correspondence, which links logical systems with programming constructs. This course is ideal for students seeking to understand the fundamental principles that govern programming languages, logic, and mathematical reasoning.
Frequently asked questions
- What are the tuition fees for this Master's programme?
- International students from outside the EU/EEA are charged a tuition fee of 19,250 SEK. EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees.
- When is the tuition fee payment deadline?
- For newly admitted students starting in the autumn semester, the first installment of the tuition fee is due by May 1st.
- What are the entry requirements for this programme?
- You need to have successfully completed Logical theory (LOG111) or an equivalent course. Selection is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
- Is there any financial support available for international students?
- The university offers merit-based scholarships for fee-paying students. Specific details and how to apply can be found on the University of Gothenburg's 'Scholarships for fee-paying students' pages.
- What is the application period for this programme?
- The main application period is between March 16th and April 15th. A late application period opens on July 15th.
- What is the language of instruction for this programme?
- The language of instruction for this Master's programme is English.
Entry requirements
Previous University StudiesSuccessful completion of Logical theory (LOG111) or equivalent.
English 6 (Swedish upper secondary education)Equivalent
Selection is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
Fees
Tuition (international)19,250 SEK
Tuition (home)No fees are charged for EU/EEA citizens, Swedish residence permit holders, and exchange students.
LivingNot specified.
EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees. The first installment of the tuition fee is 19,250 SEK. Payment for newly admitted students for the autumn semester is due by May 1st. Card payments are recommended for faster processing and to assist with residence permit applications.
How to apply
1. Online ApplicationSubmit an online application through universityadmissions.se.
2. Pay Application Fee (if applicable)Citizens outside the EU/EEA/Switzerland must pay a SEK 900 application fee via universityadmissions.se.
3. Receive Selection ResultsYou will be notified of the selection results.
4. Pay Tuition Fee (if applicable)Fee-paying students will receive an email with payment instructions after notification of selection. Payments can be made via bank transfer or card. The deadline for newly admitted students for the autumn semester is May 1st.
5. Commence StudiesTuition fees must be paid before the start of the program.
Scholarships
Scholarships for fee-paying studentsVaries
Accreditation
Not specified.
Frequently asked questions
What are the tuition fees for this Master's programme?
+
International students from outside the EU/EEA are charged a tuition fee of 19,250 SEK. EU/EEA citizens, Swedish residence permit holders, and exchange students are exempt from tuition fees.
When is the tuition fee payment deadline?
+
For newly admitted students starting in the autumn semester, the first installment of the tuition fee is due by May 1st.
What are the entry requirements for this programme?
+
You need to have successfully completed Logical theory (LOG111) or an equivalent course. Selection is based on the number of credits from previous university studies, with a maximum of 165 credits considered.
Is there any financial support available for international students?
+
The university offers merit-based scholarships for fee-paying students. Specific details and how to apply can be found on the University of Gothenburg's 'Scholarships for fee-paying students' pages.
What is the application period for this programme?
+
The main application period is between March 16th and April 15th. A late application period opens on July 15th.
What is the language of instruction for this programme?
+
The language of instruction for this Master's programme is English.