Difference between revisions of "Table/Representable Closure"

Revision as of 13:43, 19 May 2022

A table that represent Representable Closure in Abstraction types
Abstraction types	Symbolic representation	Description
Variable ( $\alpha$ -conversion)	naming abstraction	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 ([[alpha-conversion|<math>\alpha</math>-conversion]])|| [[namespace]] || A set or collection of unique identifiers.
+| Variable ([[alpha-conversion|<math>\alpha</math>-conversion]])|| [[naming abstraction]] || A set or collection of unique identifiers.
 |-
 | Substitution ([[beta-reduction|<math>\beta</math>-reduction]])|| [[computable function]]s || A template or executable function that can be reused in multiple contexts.