User loginNavigation 
An Innocent Model of Linear LogicAn Innocent Model of Linear Logic by PaulAndré Melliès was referenced by Noam in a serendipitious subthread of the "Claiming Infinities" thread. Here's the abstract:
The introduction goes on to refer to to André Joyal's "Category Y with Conway games as objects, and winning strategies as morphisms, composed by sequential interaction," and points out that "it is a precursor of game semantics for proof theory and programming languages," and is "a selfdual category of sequential games." The foreword mentions that the paper goes on to give "a crash course on asynchronous games" and then "constructs a linear continuation monad equivalent to the identity functor, by allowing internal positions in our games, [which] circumvents the Blass problem and defines a model of linear logic." Jacques Carette called this paper mindblowing. My mindblow warning light already exploded. I'm posting this paper because I know a number of LtUers are interested in these topics, and this way I can buttonhole one of them the next time I see them and ask them to explain it to me. ;) 
Browse archives
Active forum topics

Recent comments
2 weeks 3 days ago
7 weeks 9 hours ago
7 weeks 10 hours ago
7 weeks 3 days ago
7 weeks 3 days ago
10 weeks 2 days ago
10 weeks 6 days ago
11 weeks 22 hours ago
11 weeks 22 hours ago
11 weeks 6 days ago