A Final Coalgebra Theorem

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

  • Authors:
  • Peter Aczel
  • Nax Paul Mendler
  • David H Pitt (Editor)
  • David E Rydeheard (Editor)
  • Peter Dybjer (Editor)
  • And 2 others
  • External authors:
  • Andrew M Pitts (Editor)
  • Axel Poigné (Editor)

Bibliographical metadata

Original languageEnglish
Title of host publicationCategory Theory and Computer Science
EditorsDavid H Pitt, David E Rydeheard, Peter Dybjer, Andrew M Pitts, Axel Poigné
PublisherSpringer Nature
Pages357-365
Number of pages9
Volume389
ISBN (Print)3-540-51662-X
Publication statusPublished - 1989
EventCategory Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings -
Event 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

NameLecture Notes in Computer Science

Conference

ConferenceCategory Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings
Period1/01/24 → …
Internet address