Difference between revisions of "Table/Lambda calculus and Web Services"
Jump to navigation
Jump to search
(Created page with "{| class="wikitable" |+ A table that relates Lambda calculus's abstractions with Web Services |- ! Admissible data types !! Symbolic representation !! Description |- | Variabl...") |
|||
| Line 1: | Line 1: | ||
{| class="wikitable" | {| class="wikitable" | ||
|+ A table that relates Lambda calculus's abstractions with Web Services | |+ A table that relates [[Lambda calculus]]'s abstractions with Web Services | ||
|- | |- | ||
! Admissible data types !! Symbolic representation !! Description | ! Admissible data types !! Symbolic representation !! Description | ||
Revision as of 15:59, 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 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. |
