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