Example

• SELF ? ?x ? (x (x))

• SELF (?x ? (x (x)))

• ?x ? (x (x)) (?x ? (x (x)))

• What does this application of SELF to itself produce?

  • ?x ? (x (x)) (?x ? (x (x)))
  • Itself, with no reduction in lambda’s.

Previous slide

Next slide

Back to first slide

View graphic version