Constructing Differential Categories and Deconstructing Categories of Games
Publication:3012919
DOI10.1007/978-3-642-22012-8_14zbMath1333.68199OpenAlexW2143605517MaRDI QIDQ3012919
Guy McCusker, Giulio Manzonetto, Jim Laird
Publication date: 7 July 2011
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: http://opus.bath.ac.uk/32257/1/difflong.pdf
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)
Related Items (max. 100)
Cites Work
This page was built for publication: Constructing Differential Categories and Deconstructing Categories of Games