Is there a good resource on category theoretical or linear logical game design?
[0] http://www.gtcenter.org/Archive/2015/Conf/Jimenez1880.pdf
[1] http://www.cs.ox.ac.uk/people/julian.hedges/papers/Thesis.pd...
http://www.cs.cmu.edu/~cmartens/thesis/
(or some of the shorter papers on her website)