Near Matches
Ignore Exact
Everything
2
lambada calculus (idea)
See all of lambada calculus
, there is 1 more in this node.
(
idea
)
by
Sylvar
Fri Mar 03 2000 at 2:20:47
A
concise
,
universal
formalism
suitable for reasoning about the
Forbidden Dance
.
lambada
calculust
Lambda calculus
M-x dissociated-press
Church-Rosser theorem
The 7th Guest
Knights of Eastern Calculus
e
G
Emacs
combinator
Guns don't kill people. Ninjas kill people.
One letter can make all the difference
Wallace's Paradox
lambek calculus
bf
Beer is better for you than milk
Unlambda
Ivy League
implicit function theorem
Geometer
dance
Befunge