"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980)

(archive.org) by mself | Mar 21, 2026 | 1 comments on HN