Library
▹
Formal systems
▹
Untyped lambda calculus
T
V
T
[
x
:
=
R
]
L
→
ℜ
R
β
V
η
V
Combinators