Reto 28/8/2020 Functional programing

Reto 28-8-2020

Dadas las siguientes funciones:
f(x)=xx+1; g(t)=11; h(m,n)=g(m)-f(n)

Resuelva

f(3)
g(11)
g(12)
h(3,4)

Eliminando el nombre de la funcion, evalue

((x)=xx+1)(3)
((t)=11)(11)
((t)=11)(12)
(  (m,n)=( (t)=11 )(m) - ( (x)=xx+1 )(n)  )(3,4)

En las siguientes expresiones se usa el caracter `λ` para denotar la letra griega Lambda, evalue cada expresión
(λx.xx+1) 3
(λt.11) 11
(λt.11) 12

Dadas las siguientes expresiones
f: (λx.xx+1)
g: (λt.11)
h: (λm.λn.gm-fn)

Evalúe
f 3
g 11
g 12
h 3 4

Demuestre matematicamente que las siguientes expresiones son equivalentes
(λt.λf.f)mn == (λx.x)(λx.x)n