Source : Free On-Line Dictionary of Computing

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