Constructing Differential Categories and Deconstructing Categories of Games
From MaRDI portal
Publication:3012919
DOI10.1007/978-3-642-22012-8_14zbMath1333.68199MaRDI 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
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18C50: Categorical semantics of formal languages
Related Items
What is a categorical model of the differential and the resource λ-calculi?, Game Semantics in the Nominal Model
Cites Work