Discrete Lawvere theories and computational effects

Martin Hyland, John Power

Research output: Contribution to journal › Article › peer-review

28 Citations (SciVal)

Original language	English
Pages (from-to)	144-162
Number of pages	19
Journal	Theoretical Computer Science
Volume	366
Issue number	1-2
DOIs	https://doi.org/10.1016/j.tcs.2006.07.007
Publication status	Published - 2006

Access to Document

@article{14e332875ad84c9bbc17ed5c96d24cb6,

title = "Discrete Lawvere theories and computational effects",

author = "Martin Hyland and John Power",

year = "2006",

doi = "10.1016/j.tcs.2006.07.007",

language = "English",

volume = "366",

pages = "144--162",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-2",

}

TY - JOUR

T1 - Discrete Lawvere theories and computational effects

AU - Hyland, Martin

AU - Power, John

PY - 2006

Y1 - 2006

UR - http://dx.doi.org/10.1016/j.tcs.2006.07.007

U2 - 10.1016/j.tcs.2006.07.007

DO - 10.1016/j.tcs.2006.07.007

M3 - Article

SN - 0304-3975

VL - 366

SP - 144

EP - 162

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -