Programming Interactive Worlds with Linear Logic

188 points by ingve

Read the article

Discussion on Hacker News