Hacker Newsnew | comments | show | ask | jobs | submit login

I think it might be this paper:

http://users.soe.ucsc.edu/~abadi/Papers/proofs.ps

The reference to Lamping being 'autodidactical' is at the top of the second column.




>"Girard is a logician and Lamping is an autodidactic engineer"

Ouch! I can't believe that went to print.

-----




Applications are open for YC Winter 2016

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: