terms.dev
txt
json
groups
about
feed
lambda calculus (λ-calculus):
Formal system in mathematical logic for expressing computation based on function abstraction
</>