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 fixed-point of g:
f = g(f).
In fact, every recursively defined function can b ... |
|
|