A Final Coalgebra Theorem

Peter Aczel; Nax Paul Mendler; David H Pitt; David E Rydeheard; Peter Dybjer; Andrew M Pitts; Axel Poigné

A Final Coalgebra Theorem

Peter Aczel, Nax Paul Mendler, David H Pitt (Editor), David E Rydeheard (Editor), Peter Dybjer (Editor), Andrew M Pitts (Editor), Axel Poigné (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Category Theory and Computer Science
Editors	David H Pitt, David E Rydeheard, Peter Dybjer, Andrew M Pitts, Axel Poigné
Publisher	Springer Nature
Pages	357-365
Number of pages	9
Volume	389
ISBN (Print)	3-540-51662-X
Publication status	Published - 1989
Event	Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#AczelM89http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#AczelM89http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89

Access to Document

Cite this

Aczel, P., Mendler, N. P., Pitt, D. H. (Ed.), Rydeheard, D. E. (Ed.), Dybjer, P. (Ed.), Pitts, A. M. (Ed.), & Poigné, A. (Ed.) (1989). A Final Coalgebra Theorem. In D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, & A. Poigné (Eds.), Category Theory and Computer Science (Vol. 389, pp. 357-365). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#AczelM89

@inproceedings{99de34bef3bf48f78e51a3d7c182204c,

title = "A Final Coalgebra Theorem",

author = "Peter Aczel and Mendler, \{Nax Paul\} and Pitt, \{David H\} and Rydeheard, \{David E\} and Peter Dybjer and Pitts, \{Andrew M\} and Axel Poign{\'e}",

year = "1989",

language = "English",

isbn = "3-540-51662-X",

volume = "389",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "357--365",

editor = "Pitt, \{David H\} and Rydeheard, \{David E\} and Peter Dybjer and Pitts, \{Andrew M\} and Axel Poign{\'e}",

booktitle = "Category Theory and Computer Science",

address = "United States",

note = "Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html\#AczelM89http://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ctcs/AczelM89",

}

Aczel, P, Mendler, NP, Pitt, DH (ed.), Rydeheard, DE (ed.), Dybjer, P (ed.), Pitts, AM (ed.) & Poigné, A (ed.) 1989, A Final Coalgebra Theorem. in DH Pitt, DE Rydeheard, P Dybjer, AM Pitts & A Poigné (eds), Category Theory and Computer Science. vol. 389, Lecture Notes in Computer Science, Springer Nature, pp. 357-365, Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ctcs/ctcs89.html#AczelM89>

A Final Coalgebra Theorem. / Aczel, Peter; Mendler, Nax Paul; Pitt, David H (Editor) et al.
Category Theory and Computer Science. ed. / David H Pitt; David E Rydeheard; Peter Dybjer; Andrew M Pitts; Axel Poigné. Vol. 389 Springer Nature, 1989. p. 357-365 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - A Final Coalgebra Theorem

AU - Aczel, Peter

AU - Mendler, Nax Paul

A2 - Pitt, David H

A2 - Rydeheard, David E

A2 - Dybjer, Peter

A2 - Pitts, Andrew M

A2 - Poigné, Axel

A2 - Pitt, David H

A2 - Rydeheard, David E

A2 - Dybjer, Peter

A2 - Pitts, Andrew M

A2 - Poigné, Axel

PY - 1989

Y1 - 1989

UR - https://www.scopus.com/pages/publications/80051905264

M3 - Conference contribution

SN - 3-540-51662-X

VL - 389

T3 - Lecture Notes in Computer Science

SP - 357

EP - 365

BT - Category Theory and Computer Science

PB - Springer Nature

T2 - Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings

Y2 - 1 January 1824

ER -

A Final Coalgebra Theorem

Publication series

Conference

Access to Document

Other files and links

Cite this