fixed-point combinator
Sign in to savehigher-order function y for which y f = f (y f)
Connections
lambda calculus
Entity
combinatory logic
Entity
tail recursion
Entity
evaluation strategy
Entity
mathematics
Entity
computer science
Entity
Alan Turing
Entity
International Standard Book Number
Entity
programming language
Entity
Python
Entity
natural number
Entity
Q2407
Entity
integer
Entity
function
Entity
Wayback Machine
Entity
digital object identifier
Entity
mathematical logic
Entity
factorial
Entity
Lisp
Entity
R
Entity