Lambda calculus

Is logical theory of computable functions.

Notes

  • Lambda calculus is a formal language capable of expressing arbitrary computable functions. In combination with types it forms a compact way to denote on the one hand functional programs and on the other hand mathematical proofs.

results matching ""

    No results matching ""