- Lambda-kalkulus a funkcionální programování INAIX078 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování 1NAIL078 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování 2NAIL079 | Matematicko-fyzikální fakulta
- Funkcionální programováníNAIL097 | Matematicko-fyzikální fakulta