Teorems (1)

• The normal form computes the same result of the non normal form

  • proof by induction on the skeleton tree structure

computes the

same results

possibly with

different parallelism

Previous slide

Next slide

Back to first slide

View graphic version