Odvodenie typu

Pokúste sa nájsť najvšeobecnejší typ termu: $$\lambda x.x$$

Pokúste sa nájsť najvšeobecnejší typ termu: $$\lambda x.x\ x$$

Pokúste sa nájsť najvšeobecnejší typ termu: $$\lambda f.f\ 3$$

Pokúste sa nájsť najvšeobecnejší typ termu: $$\lambda g.\lambda f. \lambda x. g\ (f\ x)$$

Pokúste sa nájsť najvšeobecnejší typ termu: $$\lambda f.\lambda x:Bool. (f\ 1 )\ (f\ x)$$

Majme daný nasledujúci kontext: $$\Gamma=\{add: Nat \rightarrow Nat \rightarrow Nat\}$$ Pokúste sa nájsť najvšeobecnejší typ termu: $$t=\lambda f. \lambda x. f~(add ~x~1).$$