Comment by ivan_ah
4 years ago
I found the link via Google Scholar search = https://scholar.google.com/scholar?q=Programming+as+Theory+B...
I was looking for a version of the paper with machine-selectable text (because the PDF linked in the OP is a scan with no OCR).
Okay thanks. I will put a permanent redirect to inform GScholar's index of the actual stable URL of the document. Text selection and accessibility is indeed why I took the time to build this proper PDF as I explained here before seeing your comment: https://news.ycombinator.com/item?id=26035175