Departamento de Ciência da Computação

Exercício Cálculo Lambda

A resposta deve ser postada como pdf.

Reduza as seguintes expressões lambda a forma normal:

a) (𝜆𝑥. 𝑥(𝜆𝑢𝜆𝑣. 𝑣)(𝜆𝑎𝜆𝑏. 𝑎))(𝜆𝑎𝜆𝑏. 𝑎)

b) (𝜆𝑥𝜆𝑦𝜆𝑤𝜆𝑢. 𝑥 (𝑦 𝑤) 𝑢) (𝜆𝑠𝜆𝑧. 𝑠 (𝑠 𝑧)) (𝜆𝑎𝜆𝑏. 𝑎 (𝑎 (𝑎 𝑏)))

c) (𝜆𝑛𝜆𝑓𝜆𝑥. 𝑛(𝜆𝑔𝜆ℎ. ℎ(𝑔 𝑓))(𝜆𝑢. 𝑥)(𝜆𝑤. 𝑤))(𝜆𝑠𝜆𝑧. 𝑠 (𝑠 𝑧))