Я видел несколько ссылок на теорему Цербер Россера и, в частности, диаграмму свойств алмаза, изучая функциональное программирование, но я не пришел через отличный пример кода.
Если такой язык, как Haskell, можно рассматривать как своеобразное лямбда-исчисление, тогда должно быть возможно собрать некоторые примеры с использованием самого языка.
Я бы дал бонусные баллы, если бы в этом примере легко было показано, как шаги или сокращения приводят к легкому параллелизуемому исполнению.