Beta reduction rule

• Application is defined using the beta-reduction rule

  • This in essence replaces the formals with the values of the applied arguments
  • It defines the actual computation of the machine
  • More details to come

• (?x,y ?if x > y then x else y) 5 6if 5 > 6 then 5 else 66

Previous slide

Next slide

Back to first slide

View graphic version