The structure of first-order causality
From MaRDI portal
Publication:3081323
DOI10.1017/S0960129510000459zbMath1215.03050arXiv1101.4813MaRDI QIDQ3081323
Publication date: 7 March 2011
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1101.4813
monoidal category; rewriting theory; game semantics; categorical algebra; bialgebra; definable strategies; equational structure
03B70: Logic in computer science
03G30: Categorical logic, topoi
68Q42: Grammars and rewriting systems
Cites Work
- Higher-dimensional word problems with applications to equational logic
- Petri nets, algebras, morphisms, and compositionality
- The geometry of tensor calculus. I
- Limits indexed by category-valued 2-functors
- Minimality of the system of seven equations for the category of finite sets
- Towards an algebraic theory of Boolean circuits.
- Higher-dimensional algebra. IV: 2-tangles.
- The 3-by-3 lemma for regular Goursat categories
- On full abstraction for PCF: I, II and III
- Asynchronous Games: Innocence Without Alternation
- Categorical algebra