4 ms·

I 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 b

I 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.