Reference:
Power, J., 2011. Indexed Lawvere theories for local state. In: Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. and Seely, R. A. G., eds. Models, logics and higher-dimensional categories: a tribute to the work of Mihály Makkai. American Mathematical Society, pp. 213-230. (CRM Proceedings & Lecture Notes; 53)
Related documents:
| Item Type | Book Sections |
| Creators | Power, J. |
| Editors | Hart, B., Kucera, T. G., Pillay, A., Scott, P. J. and Seely, R. A. G. |
| Departments | Faculty of Science > Computer Science |
| Publisher Statement | Power_CRM-Proc_2011.pdf: First published in 'Models, Logics, and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai' in CRM Proceedings & Lecture Notes volume 53, published by the American Mathematical Society |
| Status | Published |
| ID Code | 26521 |
| Additional Information | CRM Proceedings and Lecture Notes 53 |
Export
Actions (login required)
![[img]](http://opus.bath.ac.uk/style/images/fileicons/application_pdf.png)
