Exemple de simplification
{"Image DocumentName": "Exemple de simplification", "Image ImageDescription": "l x. x + sqr ((lx . x + x) (x + 2)) port\u00e9e : l x. x + (l x. x   x) ((l x. x + x) (x + 2)) Il y a deux endroit o\u00f9 b s\u2019applique : 1 , 2. 1 l x. x + ((lx. x + x) (x + 2))   (lx. x + x) (x + 2) 3 l x. x + (((x + 2) + (x + 2))   (lx. x + x) (x + 2)) 4 l x. x + (((x+ 2) + (x + 2))   ((x + 2) + (x + 2))) = l x. 4x2 + 9x si on emploie les simplifications arithm\u00e9tiques. On pourrait aussi appliquer les r\u00e8gles dans un autre ordre : on arrive au. m\u00eame r\u00e9sultat (Th\u00e9or\u00e8me de Church-Rosser) Ex. : 2 l x. x + (lx. x   x) (x+2 + x+2) 1 l x. x + (x+2 + x+2)   (x+2 + x+2) def", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}