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
Matfyz Wiki