Found out Noam has a neat paper over here about the combinatorics of graphs and linear lambda-terms.
2 Found out Noam has a neat paper over here about the combinatorics of graphs and linear lambda-terms. math