Finitary construction of free algebras for equational systems

Finitary construction of free algebras for equational systems (2008)

by Marcelo Fiore , Chung-kil Hur

Citations:

1 - 0 self

Datum	Value	Source
TITLE	Finitary construction of free algebras for equational systems	INFERENCE
AUTHOR NAME	Marcelo Fiore	SVM HeaderParse 0.2
AUTHOR AFFIL	Computer Laboratory, University of Cambridge	SVM HeaderParse 0.2
AUTHOR NAME	Chung-kil Hur	SVM HeaderParse 0.2
AUTHOR AFFIL	Computer Laboratory, University of Cambridge	SVM HeaderParse 0.2
ABSTRACT	The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary construction of free algebras for equational systems; and to illustrate the use of equational systems as needed in modern applications. Key words: Equational system; algebra; free construction; monad. 1	SVM HeaderParse 0.2
YEAR	2008	INFERENCE
VENUE TYPE	TECHREPORT	INFERENCE
TECH	Preprint	INFERENCE
CITATIONS	24 found	ParsCit 1.0