General information
- Course: Type Theory, MTAT.05.105 (6ECTS)
- Lecturers: Varmo Vene, Kalmer Apinis
Lectures:
- Wednesday, 10.15-12.00, Liivi 2-612
- Friday, 16.15-18.00, Liivi 2-612
Exam:
- Format: Home exam (24h to submit written part + 10min oral explanations)
- Date&Time:
- 17.12.2019 (14.00 - 16.00)
- 22.01.2020 (14.00 - 16.00)
- Mostly theory exercises, very few coq exercises.
- Requirements for attending the exam: complete >85% of homework exercises (theory+coq).
Recources/Literature:
- S. Thompson. Type Theory and Functional Programming. Addison-Wesley, 1991.
- B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
- B. C. Pierce. Advanced Topics in Types and Programming Languages. MIT Press, 2004.
- M. H. Sorensen, P. Urzyczyn. Lectures on the Curry-Howard Isomorphism. DIKU Rapport 98/14, 1998.
- H. Barendregt. Lambda calculi with types. In: Handbook of Logic in Computer Science. Oxford University Press, 1992.
- B. C. Pierce et al, Software Foundation Vol. 1: Logical Foundation (slides)
- B. C. Pierce et al, Software Foundation Vol. 2: Programming Language Foundation (slides)