Indexed Lawvere theories for local state

John Power

Research output: Chapter in Book/Report/Conference proceedingChapter

69 Downloads (Pure)
Original languageEnglish
Title of host publicationModels, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai
EditorsB Hart, T G Kucera, A Pillay, P J Scott, R A G Seely
Place of PublicationRhode Island
PublisherAmerican Mathematical Society
Pages213-229
Number of pages18
ISBN (Print)9780821872819
Publication statusPublished - 2011

Publication series

NameCRM Proceedings & Lecture Notes
Volume53

Cite this

Power, J. (2011). Indexed Lawvere theories for local state. In B. Hart, T. G. Kucera, A. Pillay, P. J. Scott, & R. A. G. Seely (Eds.), Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai (pp. 213-229). (CRM Proceedings & Lecture Notes; Vol. 53). Rhode Island: American Mathematical Society.

Indexed Lawvere theories for local state. / Power, John.

Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. ed. / B Hart; T G Kucera; A Pillay; P J Scott; R A G Seely. Rhode Island : American Mathematical Society, 2011. p. 213-229 (CRM Proceedings & Lecture Notes; Vol. 53).

Research output: Chapter in Book/Report/Conference proceedingChapter

Power, J 2011, Indexed Lawvere theories for local state. in B Hart, TG Kucera, A Pillay, PJ Scott & RAG Seely (eds), Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. CRM Proceedings & Lecture Notes, vol. 53, American Mathematical Society, Rhode Island, pp. 213-229.
Power J. Indexed Lawvere theories for local state. In Hart B, Kucera TG, Pillay A, Scott PJ, Seely RAG, editors, Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. Rhode Island: American Mathematical Society. 2011. p. 213-229. (CRM Proceedings & Lecture Notes).
Power, John. / Indexed Lawvere theories for local state. Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai. editor / B Hart ; T G Kucera ; A Pillay ; P J Scott ; R A G Seely. Rhode Island : American Mathematical Society, 2011. pp. 213-229 (CRM Proceedings & Lecture Notes).
@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",

}

TY - CHAP

T1 - Indexed Lawvere theories for local state

AU - Power, John

PY - 2011

Y1 - 2011

M3 - Chapter

SN - 9780821872819

T3 - CRM Proceedings & Lecture Notes

SP - 213

EP - 229

BT - Models, Logics and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai

A2 - Hart, B

A2 - Kucera, T G

A2 - Pillay, A

A2 - Scott, P J

A2 - Seely, R A G

PB - American Mathematical Society

CY - Rhode Island

ER -