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.