Recursive Functions of Symbolic Expressions and Their Computation by Machine [pdf]www-formal.stanford.edu4 points·thenobsta··1 commentOpen articleSaveView on HN