Algebras over variable theories

• 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
• 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