Difference between revisions of "Table/Representable Closure"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
! Abstraction types !! Symbolic representation !! Description | ! Abstraction types !! Symbolic representation !! Description | ||
|- | |- | ||
| Variable ([[alpha-conversion|<math>\alpha</math>-conversion]])|| [[ | | 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. | | Substitution ([[beta-reduction|<math>\beta</math>-reduction]])|| [[computable function]]s || A template or executable function that can be reused in multiple contexts. | ||
Revision as of 13:43, 19 May 2022
| Abstraction types | Symbolic representation | Description |
|---|---|---|
| Variable (-conversion) | Naming Abstraction | A set or collection of unique identifiers. |
| Substitution (-reduction) | computable functions | A template or executable function that can be reused in multiple contexts. |
| Composition (-reduction) | structural relations | The sequential/structural arrangements of known representables. |
