How should I think about proof nets? Posted by Neel Krishnaswami, at cstheory.stackexchange.com, 21 Jan 2013 In his answer to this question, Stephane Gimenez pointed me to a polynomial-time normalization algorithm for proofs in linear…