lambada calculus

(idea) by Sylvar (3.4 wk) Fri Mar 03 2000 at 2:20:47
A concise, universal formalism suitable for reasoning about the Forbidden Dance.
del.icio.us Furl Facebook Digg StumbleUpon Reddit   (I like it!)
(idea) by neil (1.2 mon) Fri Jun 16 2000 at 0:28:00
Emacs once gave me (thanks to dissociated-press) the word `calculust'. I found this highly amusing.

Lambada calculus is, of course, the forbidden maths.

The Church-Rosser theorem of lambada calculus states that, if a given person starts dancing on two different occasions, then (assuming e stops both times) e will after dancing end up in the same state each time.

del.icio.us Furl Facebook Digg StumbleUpon Reddit   (I like it!) 1 C!
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.