Search over one million articles, find something about almost anything!
 

 
Lambda
calculus 
... the function g can be defined in lambda calculus. The factorial function is then a fixedpoint of g:
f = g(f).
In fact, every recursively defined function can b ... 

