|
|
|
|
|
|
by chriswarbo
4459 days ago
|
|
|
Lambda calculus is a simple model of substituting values into variables. For anyone studying the behaviour of such a system (eg. programming languages or Mathematical proofs) then LC is an nice, simple model to work with. A physical-world analogy would be the billiard-ball model of atoms, which works well to describe the behaviour of gasses. |
|
|