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