@inbook{8f6511650a704e1eb254938d8db1c7b7,
title = "Indexed Lawvere theories for local state",
author = "John Power",
year = "2011",
language = "English",
isbn = "9780821872819",
series = "CRM Proceedings \& Lecture Notes",
publisher = "American Mathematical Society",
pages = "213--229",
editor = "B Hart and Kucera, \{T G\} and A Pillay and Scott, \{P J \} and Seely, \{R A G \}",
booktitle = "Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mih{\'a}ly Makkai",
address = "USA United States",
}