Recursive functions of S-expressions and their computation by machine (1960)www-formal.stanford.edu3 points·andrelaszlo··0 commentsOpen articleSaveView on HN