Algebras and Coalgebras

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

  • Authors:
  • Peter Aczel
  • Roland Carl Backhouse (Editor)
  • Roy L Crole (Editor)
  • Jeremy Gibbons (Editor)

Bibliographical metadata

Original languageEnglish
Title of host publicationAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction
EditorsRoland Carl Backhouse, Roy L Crole, Jeremy Gibbons
PublisherSpringer Nature
Pages79-88
Number of pages10
Volume2297
ISBN (Print)3-540-43613-8
Publication statusPublished - 2000
EventAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures -
Event duration: 1 Jan 1824 → …
http://dblp.uni-trier.de/db/conf/acmmpc/acmmpc2000.html#Aczel00http://dblp.uni-trier.de/rec/bibtex/conf/acmmpc/Aczel00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/acmmpc/Aczel00

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Period1/01/24 → …
Internet address