Lambada-Calculus <humour, logic> (A pun on "{lambda-calculus}") Teaching logic thru spanish dance steps. Invented by P. van der Linden <[email protected]>. (1996-08-10)