English Fixed-point combinator Cited by user 155.33.131.4 on 17 May 2022 In mathematics and computer science in general, a fixed point of a function is a value that is mapped to itself by the function.
Ukrainian Лямбда-числення Cited by user VictorAnyakin on 28 Mar 2008 Ля́мбда-чи́слення, або λ-числення — формальна система, що використовується в теоретичній кібернетиці для дослідження визначення функції, застосування функції, та рекурсії.