Defining addition

• add ? ?a ? ?b ? ?f ? ?x ? a f (b f x)

  • Or ?a,b,f,x ? a f (b f x)

• To add 1 and 2 we write

  • (?a ? ?b ? ?f ? ?x ? a f (b f x)) (?f ? ?x ? f x) (?f ? ?x ? f (f x))

Previous slide

Next slide

Back to first slide

View graphic version