Some Varieties of Equational Logic (Extended Abstract)

Gordon Plotkin

doi:10.1007/11780274_8

Some Varieties of Equational Logic (Extended Abstract)

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

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 language	English
Title of host publication	Algebra, Meaning, and Computation
Subtitle of host publication	Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Publisher	Springer
Pages	150-156
Number of pages	7
ISBN (Print)	978-3-540-35462-8
DOIs	https://doi.org/10.1007/11780274_8
Publication status	Published - 2006
Event	Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday - , United States Duration: 27 Jun 2006 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	4060
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Country/Territory	United States
Period	27/06/06 → …

Access to Document

10.1007/11780274_8

Plotkin 2006 Some Varieties of Equational LogicAccepted author manuscript, 122 KB

http://www.springerlink.com/content/x2824026644k8816

A Theory of Effects for Programming Languages
Plotkin, G.
EPSRC
1/03/04 → 31/10/08
Project: Research

Cite this

@inbook{54c1d1a7709743adb13a0efb544bd5cd,

title = "Some Varieties of Equational Logic (Extended Abstract)",

abstract = "The application of ideas from universal algebra to computer science has long been a major theme of Joseph Goguen{\textquoteright}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. ",

author = "Gordon Plotkin",

year = "2006",

doi = "10.1007/11780274_8",

language = "English",

isbn = "978-3-540-35462-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "150--156",

booktitle = "Algebra, Meaning, and Computation",

address = "United Kingdom",

note = "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday ; Conference date: 27-06-2006",

}

Plotkin, G 2006, Some Varieties of Equational Logic (Extended Abstract). in Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, vol. 4060, Springer, pp. 150-156, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday , United States, 27/06/06. https://doi.org/10.1007/11780274_8

TY - CHAP

T1 - Some Varieties of Equational Logic (Extended Abstract)

AU - Plotkin, Gordon

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

U2 - 10.1007/11780274_8

DO - 10.1007/11780274_8

M3 - Chapter

SN - 978-3-540-35462-8

T3 - Lecture Notes in Computer Science

SP - 150

EP - 156

BT - Algebra, Meaning, and Computation

PB - Springer

T2 - Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Y2 - 27 June 2006

ER -

Some Varieties of Equational Logic (Extended Abstract)

Abstract

Publication series

Conference

Access to Document

Fingerprint

Projects

A Theory of Effects for Programming Languages

Cite this