Porca vacca
Non mi sarei mai aspettato di vedere questo thread!
Allora soddisfiamo subito il signor tdi, che ha posto un'interessantissima questione (almeno per chi ama i formalismi matematici): prova a vedere qui
http://it.wikipedia.org/wiki/Lambda_calcolo