ITU

Linearly-used state in models of call-by-value

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

Linearly-used state in models of call-by-value. / Møgelberg, Rasmus Ejlers; Staton, Sam.

CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer, 2011. p. 298-313.

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Møgelberg, RE & Staton, S 2011, Linearly-used state in models of call-by-value. in CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer, pp. 298-313, 4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011), Winchester, United Kingdom, 30/08/2011. https://doi.org/10.1007/978-3-642-22944-2

APA

Møgelberg, R. E., & Staton, S. (2011). Linearly-used state in models of call-by-value. In CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science (pp. 298-313). Springer. https://doi.org/10.1007/978-3-642-22944-2

Vancouver

Møgelberg RE, Staton S. Linearly-used state in models of call-by-value. In CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer. 2011. p. 298-313 https://doi.org/10.1007/978-3-642-22944-2

Author

Møgelberg, Rasmus Ejlers ; Staton, Sam. / Linearly-used state in models of call-by-value. CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer, 2011. pp. 298-313

Bibtex

@inproceedings{0314c1efdd2049bca52688709800e685,
title = "Linearly-used state in models of call-by-value",
author = "M{\o}gelberg, {Rasmus Ejlers} and Sam Staton",
year = "2011",
doi = "http://dx.doi.org/10.1007/978-3-642-22944-2",
language = "English",
isbn = "978-3-642-22943-5 ",
pages = "298--313",
booktitle = "CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science",
publisher = "Springer",
address = "Germany",
note = "null ; Conference date: 30-08-2011 Through 02-09-2011",
url = "http://calco2011.ecs.soton.ac.uk/",

}

RIS

TY - GEN

T1 - Linearly-used state in models of call-by-value

AU - Møgelberg, Rasmus Ejlers

AU - Staton, Sam

N1 - Conference code: 4th

PY - 2011

Y1 - 2011

U2 - http://dx.doi.org/10.1007/978-3-642-22944-2

DO - http://dx.doi.org/10.1007/978-3-642-22944-2

M3 - Article in proceedings

SN - 978-3-642-22943-5

SP - 298

EP - 313

BT - CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science

PB - Springer

Y2 - 30 August 2011 through 2 September 2011

ER -

ID: 34475976