# Zkouška 2026
Skúška prebieha ústnou formou

- *Untyped lambda calculus*
- *Data encoding in lambda calculus*
- *Simply typed lambda calculus*
- *System F*
- *Hindley-Milner type system*
- *Algorithm W*