Programming Interactive Worlds with Linear Logic [2015](cs.cmu.edu)5 points·by febin·8 anni fa·0 commentscs.cmu.eduProgramming Interactive Worlds with Linear Logic [2015]http://www.cs.cmu.edu/~cmartens/thesis/1 commentsPost comment[+]lizardskull·8 anni fa