Y
Hacker News
new
|
ask
|
show
|
jobs
by
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?