Combining effects: sum and tensor

Martin Hyland, Gordon Plotkin, John Power

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

144 Citations (SciVal)

Original language	English
Pages (from-to)	70-99
Number of pages	30
Journal	Theoretical Computer Science
Volume	357
Issue number	1-3
DOIs	https://doi.org/10.1016/j.tcs.2006.03.013
Publication status	Published - Jul 2006

Access to Document

@article{ba13b322bcbf44a289c5bf895c0d17ad,

title = "Combining effects: sum and tensor",

author = "Martin Hyland and Gordon Plotkin and John Power",

year = "2006",

month = jul,

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

language = "English",

volume = "357",

pages = "70--99",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-3",

}

TY - JOUR

T1 - Combining effects: sum and tensor

AU - Hyland, Martin

AU - Plotkin, Gordon

AU - Power, John

PY - 2006/7

Y1 - 2006/7

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

U2 - 10.1016/j.tcs.2006.03.013

DO - 10.1016/j.tcs.2006.03.013

M3 - Article

SN - 0304-3975

VL - 357

SP - 70

EP - 99

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-3

ER -