[personal profile] chooseyourownlogic
I wrote an unfortunately long pdf about linear logic and comonads. It might be interesting? It might solve a long-standing problem? Or it might just be a good way for me to procrastinate on my homework---only one way to find out!

Date: 2012-11-05 06:00 pm (UTC)
From: [personal profile] chrisamaphone
i don't see anything in your pdf with that ([p]) syntax?

Date: 2012-11-05 06:01 pm (UTC)
From: [personal profile] chrisamaphone
well, they're modal operators in the kripke semantics sense, not in the resource semantics sense -- they form a preorder, not a monoid :)

Profile

chooseyourownlogic

April 2013

S M T W T F S
 123456
78910111213
14151617 181920
21222324252627
282930    

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 18th, 2017 10:08 pm
Powered by Dreamwidth Studios