Constructing differential categories and deconstructing categories of games
type: Item
instance of: scholarly article
title: Constructing differential categories and deconstructing categories of games
zbMATH Open document ID: 1269.03062
author: Jim Laird
author: Giulio Manzonetto
author: Guy McCusker
published in: Information and Computation
publication date: 2013-06-06T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6171331
zbMATH Keywords: differential category
zbMATH Keywords: differential combinator
zbMATH Keywords: symmetric monoidal category
zbMATH Keywords: simply-typed resource calculus
zbMATH Keywords: finite definability property
zbMATH Keywords: game semantics
zbMATH Keywords: full abstraction
MaRDI profile type: Publication
full work available at URL: j.ic.2012.10.015
OpenAlex ID: W2005126785
DOI: 10.1016/J.IC.2012.10.015
description: scientific article; zbMATH DE number 6171331