Table/Representable Closure

A Table that Shows Representable Closure in Abstraction types

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