[adamnemecek]

CMU has a class on Substructural Logics https://www.cs.cmu.edu/~fp/courses/15816-f16/

Up until 2012 it was just about Linear Logic IIRC.