Hacker News new | ask | show | jobs
"LISP: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org)
9 points by mself 90 days ago
1 comments

This important unpublished work was not available anywhere online, so I scanned my copy.

These are the course notes for CS 206: Computing with Symbolic Expressions taught by John McCarthy at Stanford University in the 70s, 80s, and 90s.

I printed this copy in 1984 while working as an intern for Nils Nilsson at SRI's AI Center.