Difference between revisions of "Table/Lambda calculus and Web Services"
Jump to navigation
Jump to search
| Line 6: | Line 6: | ||
| 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 (<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 or executable function that can be reused and plugged in by a defined range of values or data feeds. | | Substitution (<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 (<math>\eta</math> reduction)|| (''M'' ''N'') || The sequential/structural arrangements of known computational resources. | ||
|} | |} | ||
Revision as of 16:03, 13 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. |
