Algebras over variable theories

BENSON, D.B., M. NEČESAL and J. ROSICKÝ. Algebras over variable theories. Algebra Universalis. Basel: Birkhauser Verlag, 2002, vol. 47, No 1, p. 55-64. ISSN 0002-5240.

Basic information

• Original name: Algebras over variable theories
• Authors: BENSON, D.B. (840 United States of America), M. NEČESAL (203 Czech Republic) and J. ROSICKÝ (203 Czech Republic, guarantor).
• Edition: Algebra Universalis, Basel, Birkhauser Verlag, 2002, 0002-5240.

Other information

• Original language: English
• Type of outcome: Article in a journal
• Field of Study: 10101 Pure mathematics
• Country of publisher: Switzerland
• Confidentiality degree: is not subject to a state or trade secret
• Impact factor: Impact factor: 0.324
• RIV identification code: RIV/00216224:14310/02:00006136
• Organization unit: Faculty of Science
• UT WoS: 000175946700006
• Keywords in English: algebraic theory; type Self; object oriented programming
• Tags: algebraic theory, object oriented programming, type Self

Abstract

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.

Links

• GA201/96/0119, research and development project: Name: Kategoriální metody teorie struktur a informatiky

Investor: Czech Science Foundation, Categorical methods of the theory of structures and computer

• MSM 143100009, plan (intention): Name: Matematické struktury algebry a geometrie

Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures of algebra and geometry