Informace o publikaci

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

Studijní programy