3 ms·
>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, p
by juliangamble 13y ago
>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?
- cwzwarich 13y agoI think it might be this paper: http://users.soe.ucsc.edu/~abadi/Papers/proofs.ps http://users.soe.ucsc.edu/~abadi/Papers/proofs.ps The reference to Lamping being 'autodidactical' is at the top of the second column.
- juliangamble 13y ago>"Girard is a logician and Lamping is an autodidactic engineer" Ouch! I can't believe that went to print.