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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info