703.609 Lambda Calculus and Type Theory
Keywords:
Pilot domain:
ECTS credits:
5
Mode of delivery:
Blended
University:
Universität Innsbruck
Contact:
Geuvers Hermann
Contact 2:
van der Weide Niels
Language:
Study cycle:
Faculty:
SDG:
Course credit:
Yes
Free course:
Yes
Aurora competence framework:
Start date:
2024-04-08
End date:
2024-08-31
Application start:
2024-01-08
Application deadline:
2024-01-21

short term mobility on August 26-31, 2024 in Obergurgl