4 ms·
Super interesting! I had never heard of linear logic before you just mentioned it, so my first question was, how can it be described in terms of category theory
by Cieplak 8y ago
Super interesting! I had never heard of linear logic before you just mentioned it, so my first question was, how can it be described in terms of category theory. So I googled it, and apparently there is a lot to be said. The first link (pdf) is over 200 pages!
[1] https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/categorical-semantics-of-linear-logic.pdf https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/categorica...
[2] http://www.cs.man.ac.uk/~schalk/notes/llmodel.pdf http://www.cs.man.ac.uk/~schalk/notes/llmodel.pdf
- adamnemecek 8y agoI invite you to look into it. I feel like it’s the last tool I will ever need. Hit me up over email (it’s in my profile) if you want to talk more.
- codetrotter 8y agoI am not the dude you talked to but I looked at your profile and I found multiple points of overlapping between your interests and mine. I think that if I had known you IRL we would have been good friends. Or maybe sworn enemies because we might share interests but have really really different opinions on those things, to the point where we could not reconcile our differences :P But I live in a different country all together so the point is kind of moot I guess. (I live in Norway.)
- adamnemecek 8y agoHaha. Email me, we’ll talk over Skype.
- tomberek 8y agoWhy do you say "last tool I will ever need"?
- adamnemecek 8y agoEverything else I reasonably care about can be explained in terms of linear logic.