Some Varieties of Equational Logic (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

The application of ideas from universal algebra to computer science has long been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic computation types. As we will show, these are also given by equational theories, if one only understands the notion of equational logic in somewhat broader senses than usual.
Original languageEnglish
Title of host publicationAlgebra, Meaning, and Computation
Subtitle of host publicationEssays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
PublisherSpringer-Verlag GmbH
Pages150-156
Number of pages7
ISBN (Print)978-3-540-35462-8
DOIs
Publication statusPublished - 2006
EventAlgebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday - , United States
Duration: 27 Jun 2006 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume4060
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceAlgebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
CountryUnited States
Period27/06/06 → …

Fingerprint Dive into the research topics of 'Some Varieties of Equational Logic (Extended Abstract)'. Together they form a unique fingerprint.

Cite this