Rozpatrzmy dwie redukcje: 2 + 3 + 4 + 5 + 6 → 2 + 3 + 4 + 11 2 + 3 + 4 + 5 + 6 → 5 + 4 + 5 + 6
Można je doprowadzić do tego samego wyniku: 2 + 3 + 4 + 11 → 2 + 3 + 15 → 2 + 18 → 20 5 + 4 + 5 + 6 → 9 + 5 + 6 → 14 + 6 → 20
Nie wyklucza to jednak sytuacji, w której obliczenia jedną metodą dadzą wynik, zaś drugą będą działać „w nieskończoność”. Jednak jeśli zaczynamy stosując strategię, która działałaby „w nieskończoność”, w każdym momencie możemy dojść do wyniku, jeśli zmienimy zdanie i to, do czego ta strategia doszła, zaczniemy redukować w inny sposób.
Do ważniejszych twierdzeń rachunku lambda należy to, że zbiór redukcji α i β w rachunku lambda jest silnie konfluentny (twierdzenie Churcha-Rossera).
Postać normalna Drugą właściwością systemów silnie konfluentnych jest unikalność postaci normalnych. Postać normalna to element, którego nie da się zredukować. Element ma postać normalną jeśli istnieje ciąg redukcji z do Element nie może mieć dwóch postaci normalnych, ponieważ musiałyby one redukować się do wspólnego wyrażenia, zaś postać normalna jest z definicji nieredukowalna.