juan_gandhi: (VP)
[personal profile] juan_gandhi
Just agreed with Runar that, well, it's not a monad, because there's no associativity (duh)

Or? (ok, ok, lax weak pseudo promonad...)

Date: 2015-01-13 05:19 am (UTC)
From: [identity profile] nponeccop.livejournal.com
Ну, на языке labelled transitions её нет. См. http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/mark.pdf раздел 3

Date: 2015-01-13 11:02 am (UTC)
From: [identity profile] sassa-nf.livejournal.com
гм, я, может, пропустил, но где там об отсутствии ассоциативности в operational semantics?

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

July 2025

S M T W T F S
  12345
6789 1011 12
131415 1617 1819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 23rd, 2025 04:19 pm
Powered by Dreamwidth Studios