home
|
about
/
cs
/
lambda calculus
/
0 folders
5 notes
λ-calculus
β-reduction
1 tags
boolean lambdas
2 tags
church numerals
1 tags
y combinator
2 tags