Difference between revisions of "Table/Representable Closure"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
|+ A table that represent Representable Closure in Abstraction types | |+ A table that represent Representable Closure in Abstraction types | ||
|- | |- | ||
! | ! Abstraction types !! Symbolic representation !! Description | ||
|- | |- | ||
| Variable (<math>\alpha</math> conversion)|| [[namespace]] || A set or collection of unique identifiers. | | Variable (<math>\alpha</math> conversion)|| [[namespace]] || A set or collection of unique identifiers. | ||
Revision as of 16:16, 13 May 2022
| Abstraction types | Symbolic representation | Description |
|---|---|---|
| Variable ( conversion) | namespace | 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. |
