3 ms·
Category theory isn't quite the correct formalism.
by adamnemecek 8y ago
Category theory isn't quite the correct formalism.
- selimthegrim 8y agoWhat would be then?
- adamnemecek 8y agoI 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.