Constructing differential categories and deconstructing categories of games

DOI10.1016/j.ic.2012.10.015zbMath1269.03062OpenAlexW2005126785MaRDI QIDQ1951585

Guy McCusker, Giulio Manzonetto, Jim Laird

Publication date: 6 June 2013

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.10.015

zbMATH Keywords

full abstractiongame semanticssymmetric monoidal categorydifferential categorydifferential combinatorfinite definability propertysimply-typed resource calculus

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (6)

Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Cartesian differential categories revisited ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Weighted models for higher-order computation ⋮ From Qualitative to Quantitative Semantics

This page was built for publication: Constructing differential categories and deconstructing categories of games