February 6th, 2016, 08:52 pm (no subject) Found out Noam has a neat paper over here about the combinatorics of graphs and linear lambda-terms. Tags math