Table/Representable Closure

A table that represent Representable Closure in Abstraction types

Abstraction types	Symbolic representation	Description
Variable ($\alpha$-conversion)	namespace	A set or collection of unique identifiers.
Substitution ($\beta$-reduction)	computable functions	A template or executable function that can be reused in multiple contexts.
Composition ($\eta$-reduction)	structural relations	The sequential/structural arrangements of known representables.