Algebras over variable theories

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

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