Difference between revisions of "Table/Representable Closure"

Revision as of 11:49, 19 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 set or collection of unique identifiers.
+| Variable ([[alpha conversion|<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 in multiple contexts.
+| Substitution ([[beta reduction|<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 representables.
+| Composition ([[eta reduction|<math>\eta</math> reduction]])|| [[structural relation]]s || The sequential/structural arrangements of known representables.
 |}