Recursive Functions of Symbolic Expressions and Their Computation by Machinewww-formal.stanford.edu6 pointsllambda15 years ago