Communications of the ACM · 19601,365 citations
Recursive functions of symbolic expressions and their computation by machine, Part I
John McCarthy
0discussions
A lightweight one-liner about this paper — for when it isn't a full discussion. Start a discussion instead if it needs back-and-forth.
No quick takes yet. Be the first to leave one.
Ask a question, share a critique, or post a reproduction note.
No related papers yet — they'll appear as the catalog grows.