Lambda calculus (
original
) (
raw
)
Expressions, Types, and Functions
- slide 34 : 46