Table/Lambda calculus and Web Services

A table that relates Lambda calculus's abstractions with Web Services

Admissible data types	Symbolic representation	Description
Variable ($\alpha$-conversion)	x	A web page or a data artifact that can be observed and used directly by a web user.
Substitution ($\beta$-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 ($\eta$-reduction)	(M N)	The sequential/structural arrangements of known computational resources.