Algebras over variable theories

• Autoři: BENSON D.B.; NEČESAL M.; ROSICKÝ J.
• Rok publikování: 2002
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Algebra Universalis
• Fakulta / Pracoviště MU: Přírodovědecká fakulta
• Obor: Obecná matematika
• Klíčová slova: algebraic theory; type Self; object oriented programming
• Popis: 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.

Související projekty

• Kategoriální metody teorie struktur a informatiky
• Matematické struktury algebry a geometrie