Problém λ-definovatelnosti - Hadacz, Leo (1993)