Lambada-Calculus

Lambada-Calculus

(humour, logic)
(A pun on "lambda-calculus") Teaching logic thru spanish dance steps. Invented by P. van der Linden <linden@eng.sun.com>.