Constructing Differential Categories and Deconstructing Categories of Games

Jim Laird, Giulio Manzonetto, Guy McCusker. Constructing Differential Categories and Deconstructing Categories of Games. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 186-197, Springer, 2011. [doi]

Abstract

Abstract is missing.