Le programme (fun (
x
)
x
x
) (fun (
x
)
x
x
). En effet il se réduit en tête en une étape sur lui-même.
(
fun
(x) x x) (
fun
(x) x x)
®
((
x
x
) {
x
¬
fun
(
x
)
x
x
})
º
(
fun
(x) x x) (
fun
(x) x x)
®
...