Difference between revisions of "Table/Representable Closure"

Latest revision as of 00:49, 2 December 2022

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.

@@ Line 1: / Line 1: @@
 {| class="wikitable"
-|+ A table that represent Representable Closure in Abstraction types
+|+ A Table that Shows Representable Closure in Abstraction types
 |-
-! Abstraction types !! Symbolic representation !! Description
+! Technical Term !! Abstraction types !! Symbolic representation !! Description
 |-
-| Variable ([[alpha-conversion|<math>\alpha</math>-conversion]])|| [[naming abstraction]] || A set or collection of unique identifiers.
+| [[alpha-conversion|<math>\alpha</math>-conversion]]|| Variable || [[Naming abstraction]] || A collection of symbols (names) that act as unique identifiers.
 |-
-| Substitution ([[beta-reduction|<math>\beta</math>-reduction]])|| [[computable function]]s || A template or executable function that can be reused in multiple contexts.
+| [[beta-reduction|<math>\beta</math>-reduction]]|| Substitution rule || [[Function evaluation]]s || A template or executable function that can be reused in multiple contexts.
 |-
-| Composition ([[eta-reduction|<math>\eta</math>-reduction]])|| [[structural relation]]s || The sequential/structural arrangements of known representables.
+| [[eta-composition|<math>\eta</math>-composition]]|| Sequential composition || [[Function composition]] || The sequential/structural arrangements of known representable data.
 |}