Output details
11 - Computer Science and Informatics
University of Bath
Chapter title
Indexed Lawvere theories for local state
Type
C - Chapter in book
DOI
-
Publisher of book
American Mathematical Society
Book title
Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai
ISBN of book
9780821872819
Year of publication
2011
URL
-
Number of additional authors
0
Additional information
<10>This paper inspired further work of Staton and his research student Ahman; see for instance Staton's paper in LICS 2013, and Ahman and Staton's MFPS 2013 contribution.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-