Final Coalgebras from Corecursive Algebras

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Final Coalgebras from Corecursive Algebras. / Levy, Paul.

Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). ed. / Lawrence S Moss; Pawel Sobocinski. Vol. 35 Schloss Dagstuhl, 2015. p. 221-237 (Leibniz International Proceedings in Informatics; Vol. 35).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Levy, P 2015, Final Coalgebras from Corecursive Algebras. in LS Moss & P Sobocinski (eds), Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). vol. 35, Leibniz International Proceedings in Informatics, vol. 35, Schloss Dagstuhl, pp. 221-237, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Grenoble, France, 24/06/15. https://doi.org/10.4230/LIPIcs.CALCO.2015.221

APA

Levy, P. (2015). Final Coalgebras from Corecursive Algebras. In L. S. Moss, & P. Sobocinski (Eds.), Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) (Vol. 35, pp. 221-237). (Leibniz International Proceedings in Informatics; Vol. 35). Schloss Dagstuhl. https://doi.org/10.4230/LIPIcs.CALCO.2015.221

Vancouver

Levy P. Final Coalgebras from Corecursive Algebras. In Moss LS, Sobocinski P, editors, Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Vol. 35. Schloss Dagstuhl. 2015. p. 221-237. (Leibniz International Proceedings in Informatics). https://doi.org/10.4230/LIPIcs.CALCO.2015.221

Author

Levy, Paul. / Final Coalgebras from Corecursive Algebras. Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). editor / Lawrence S Moss ; Pawel Sobocinski. Vol. 35 Schloss Dagstuhl, 2015. pp. 221-237 (Leibniz International Proceedings in Informatics).

Bibtex

@inproceedings{2d9f4c9e127b46f1aa87079286235619,
title = "Final Coalgebras from Corecursive Algebras",
author = "Paul Levy",
year = "2015",
month = oct
day = "21",
doi = "10.4230/LIPIcs.CALCO.2015.221",
language = "English",
volume = "35",
series = "Leibniz International Proceedings in Informatics",
publisher = "Schloss Dagstuhl",
pages = "221--237",
editor = "Moss, {Lawrence S} and Sobocinski, {Pawel }",
booktitle = "Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)",
address = "Germany",
note = "6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) ; Conference date: 24-06-2015 Through 26-06-2015",

}

RIS

TY - GEN

T1 - Final Coalgebras from Corecursive Algebras

AU - Levy, Paul

PY - 2015/10/21

Y1 - 2015/10/21

U2 - 10.4230/LIPIcs.CALCO.2015.221

DO - 10.4230/LIPIcs.CALCO.2015.221

M3 - Conference contribution

VL - 35

T3 - Leibniz International Proceedings in Informatics

SP - 221

EP - 237

BT - Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)

A2 - Moss, Lawrence S

A2 - Sobocinski, Pawel

PB - Schloss Dagstuhl

T2 - 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)

Y2 - 24 June 2015 through 26 June 2015

ER -