Indexed Lawvere theories for local state


Power, J., 2011. Indexed Lawvere theories for local state. Rhode Island: American Mathematical Society, pp. 213-229. (CRM Proceedings & Lecture Notes; 53)

Related documents:

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


    Item Type Conference or Workshop Items (UNSPECIFIED)
    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
    ID Code26521


    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...