For example the dependently typed lambda calculus with a type of all types (Type : Type) is not normalizing due to Girard's paradox.
Primjerice ovisno tipizirani lambda račun sa tipom svih tipova (Tip : Tip) nije normalizirajući zbog Girardova paradoksa.