Lambada-Calculus humour, logic (A pun on "lambda-calculus") Teaching logic thru spanish dance steps. Invented by P. van der Linden . (1996-08-10)