Table/Representable Closure

A table that represent Representable Closure in Abstraction types

Abstraction types	Symbolic representation	Description
Variable ($\alpha$-conversion)	Naming abstraction	A collection of symbols(names) that act as unique identifiers.
Substitution ($\beta$-reduction)	Function evaluations	A template or executable function that can be reused in multiple contexts.
Composition ($\eta$-reduction)	Function composition	The sequential/structural arrangements of known representable data.