Hackernews posts about Dave Mills

Related: Vint Cerf  
  1. Proof Theory and Logic Programming (www.lix.polytechnique.fr)