Covarieties and Coalgebras: Comonads and Coequations

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2005 proceedings
Editors	Hung, Dang Van; Wirsing, Martin (Eds.)
Place of Publication	New York
Publisher	Springer
Pages	288-302
ISBN (Print)	9783540291077
Publication status	Published - 2005
Event	International Colloquium on Theoretical Aspects of Computing (ICTAC 2005) - Hanoi Vietnam Duration: 1 Jan 2005 → … http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-29107-7

Conference	International Colloquium on Theoretical Aspects of Computing (ICTAC 2005)
Period	1/01/05 → …
Other	17-21 October 2005
Internet address	http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-29107-7

Cite this

@inproceedings{04f88c68ce4641189342c4d704997152,

title = "Covarieties and Coalgebras: Comonads and Coequations",

author = "Ranald Clouston and Robert Goldblatt",

year = "2005",

language = "English",

isbn = "9783540291077",

pages = "288--302",

editor = "{Hung, Dang Van; Wirsing, Martin (Eds.)}",

booktitle = "Theoretical Aspects of Computing - ICTAC 2005 proceedings",

publisher = "Springer",

note = "International Colloquium on Theoretical Aspects of Computing (ICTAC 2005) ; Conference date: 01-01-2005",

url = "http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-29107-7",

}

TY - GEN

T1 - Covarieties and Coalgebras: Comonads and Coequations

AU - Clouston, Ranald

AU - Goldblatt, Robert

PY - 2005

Y1 - 2005

M3 - Conference contribution

SN - 9783540291077

SP - 288

EP - 302

BT - Theoretical Aspects of Computing - ICTAC 2005 proceedings

A2 - null, Hung, Dang Van; Wirsing, Martin (Eds.)

PB - Springer

CY - New York

T2 - International Colloquium on Theoretical Aspects of Computing (ICTAC 2005)

Y2 - 1 January 2005

ER -