Library
▹
Formal systems
Var
(variables)
Fresh
Rewr
(
T
)
Untyped lambda calculus