Algebras over variable theories

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Science. Official publication website can be found on muni.cz.

Authors	BENSON D.B. NEČESAL M. ROSICKÝ J.
Year of publication	2002
Type	Article in Periodical
Magazine / Source	Algebra Universalis
MU Faculty or unit	Faculty of Science
Citation
Field	General mathematics
Keywords	algebraic theory; type Self; object oriented programming
Description	There is shown that algebras over variable theories form a variety. This variety interprets the type Self of object oriented programming proposed by Abadi and Cardelli.
Related projects:	Categorical methods of the theory of structures and computer Mathematical structures of algebra and geometry