Comment by adamnemecek

Is there a good resource on category theoretical or linear logical game design?