Hacker Newsnew | comments | show | ask | jobs | submitlogin

>There was, for example, a snooty French paper that sort of dismissed Lamping as an "autodidact," before proceeding to build (with, let me be careful to note, proper credit given to John) on his work

Is there a reference to this paper available?




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 Summer 2015

Guidelines | FAQ | Support | Lists | Bookmarklet | DMCA | Y Combinator | Apply | Contact

Search: