Research

Indexed Lawvere theories for local state


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. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Related documents:

[img]
Preview
PDF (Power_CRM-Proc_2011.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (1083kB) | Preview

    Details

    Item Type Book Sections
    CreatorsPower, J.
    EditorsHart, B., Kucera, T. G., Pillay, A., Scott, P. J. and Seely, R. A. G.
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementPower_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
    StatusPublished
    ID Code26521

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...