Hacker News new | ask | show | jobs
by adamnemecek 2885 days ago
It has several interpretations. One is close to game theory, one is related to ownership, one is related to probability, one is related to interfaces. These are all the same idea.
1 comments
YorkshireSeason 2885 days ago
Are they for full LL or just small fragments (like MALL)? And what kind of completeness properties are known to hold or not to hold for those models?
link