Alpha-conversion

$\alpha$ conversion is also a kind of naming abstraction.

Godel Numbering

Think about variables in terms of special numbers. This is an insight from Godel, and later utilized to created Universal computation.