Difference between revisions of "Table/Representable Closure"

Revision as of 16:14, 13 May 2022

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.

@@ Line 4: / Line 4: @@
 ! abstraction types !! Symbolic representation !! Description
 |-
-| Variable (<math>\alpha</math> conversion)|| [[namespace]] || A web page or a data artifact that can be observed and used directly by a web user.
+| Variable (<math>\alpha</math> conversion)|| [[namespace]] || A set or collection of unique identifiers.
 |-
-| Substitution (<math>\beta</math> reduction)|| [[computable function]]s || A template or executable function that can be reused and plugged-in by a defined range of values or data feeds.
+| Substitution (<math>\beta</math> reduction)|| [[computable function]]s || A template or executable function that can be reused in multiple contexts.
 |-
-| Composition (<math>\eta</math> reduction)|| [[structural relation]]s || The sequential/structural arrangements of known computational resources.
+| Composition (<math>\eta</math> reduction)|| [[structural relation]]s || The sequential/structural arrangements of known representables.
 |}