Hacker News new | past | comments | ask | show | jobs | submit login

What would be then?



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.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: