Üldinfo / General information
- Aine kood: MTAT.05.105
- Lektorid:
- Loengute toimumise aeg/koht:
- Esmaspäev, kell 16.15-18.00, Liivi 2-403
- Teisipäev, kell 08.15-10.00, Liivi 2-404 [Oct. 18, Nov. 1, Nov. 15, Nov. 29]
- Kolmapäev, kell 08.15-10.00, Liivi 2-403 [Oct. 19, Nov. 2, Nov. 16, Nov. 30]
- Kolmapäev, kell 12.15-14.00, Liivi 2-403
Kirjandus / 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.
- U. Norell. Dependently Typed Programming in Agda. AFP 2008.