[adamnemecek]

I like linear logic a lot. Not saying it solves everything but it's easier to understand and you don't really give up much of what category theory has.

Also alternating graphs or game semantics.

These are all related.