Odejmowanie Kościoła
Odejmowanie Kościoła Rachunek Lambda zawsze był moją fascynacją, a pojawiające się zachowania polegające na przekazywaniu sobie funkcji są zachwycająco złożone. Liczby kościelne są reprezentacjami liczb naturalnych skonstruowanych w wyniku wielokrotnego zastosowania funkcji (zwykle...