How to define a function with Church numerals in lambda-terms?

前端 未结 0 1108
梦毁少年i
梦毁少年i 2020-12-22 14:36

How can I express the following function by a lambda term?

f(n) = T if n != 0. F if n = 0.

n stands for a Church numeral.

I know that 0 := λf.λx.x where

相关标签:
回答
  • 消灭零回复
提交回复
热议问题