Difference between revisions of "Table/Lambda calculus and Web Services"
Jump to navigation
Jump to search
| (2 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
! Admissible data types !! Symbolic representation !! Description | ! Admissible data types !! Symbolic representation !! Description | ||
|- | |- | ||
| Variable (<math>\alpha</math> conversion)|| ''x'' || A web page or a data artifact that can be observed and used directly by a web user. | | Variable ([[alpha-conversion|<math>\alpha</math>-conversion]])|| ''x'' || A web page or a data artifact that can be observed and used directly by a web user. | ||
|- | |- | ||
| Substitution (<math>\beta</math> reduction)|| (λ''x''.''M'')(value to be [[Free variables and bound variables|bound]] to x) || A template that can be reused and plugged in by a defined range of values or data feeds. | | Substitution ([[beta-reduction|<math>\beta</math>-reduction]])|| (λ''x''.''M'')(value to be [[Free variables and bound variables|bound]] to x) || A template or executable function that can be reused and plugged-in by a defined range of values or data feeds. | ||
|- | |- | ||
| Composition (<math>\eta</math> reduction)|| (''M'' ''N'') || The sequential/structural arrangements of known computational resources. | | Composition ([[eta-reduction|<math>\eta</math>-reduction]])|| (''M'' ''N'') || The sequential/structural arrangements of known computational resources. | ||
|} | |} | ||
Latest revision as of 13:37, 19 May 2022
| Admissible data types | Symbolic representation | Description |
|---|---|---|
| Variable (-conversion) | x | A web page or a data artifact that can be observed and used directly by a web user. |
| Substitution (-reduction) | (λx.M)(value to be bound to x) | A template or executable function that can be reused and plugged-in by a defined range of values or data feeds. |
| Composition (-reduction) | (M N) | The sequential/structural arrangements of known computational resources. |
