0 := \f.\x.x
inc n := \f x.(f (n f x))
exp n m := (m n)

N := (inc (inc (inc (inc (inc 0)))))

(exp N N)