Hacker News new | ask | show | jobs
by baq 754 days ago
See also: 'Recursive Functions of Symbolic Expressions and Their Computation by Machine' (1960) [1]

[1] https://www-formal.stanford.edu/jmc/recursive.pdf